Assertion: complete graph | /r/HasProperty | simple directed graphs
Facets:
Source sentences:
text: Complete directed graphs are simple directed graphs where each pair of vertices is joined by a symmetric pair of directed arrows (it is equivalent to an undirected complete graph with the edges replaced by pairs of inverse arrows).