Assertion: graph | /r/HasAspect | subgraph isomorphic
Facets:
value: to k
type: OTHER
Source sentences:
text: Any graph that has a subgraph isomorphic to K 5 {\displaystyle K_{5}} is non-planar.