Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6087-6089	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 5622-5622	Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5668-5668	Directed graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5771-5771	Multi graph is a subclass of graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5801-5801	Pseudo graph is a subclass of graph