Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6097-6099	If a graph is an instance of graph, then the set of minimal paths that partition the graph into two separate graphs is a subclass of the set of paths that partition the graph into two separate graphs
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5632-5632	Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5678-5678	Directed graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5781-5781	Multi graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5811-5811	Pseudo graph is a subclass of graph