Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6088-6090	Graph est une instance de graph l' ensemble minimal de chemins qui partitionnent graph en deux graph s�par� est une sous-classe de l' ensemble de chemins qui partitionnent graph en deux graph s�par�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5623-5623	Graph est une sous-classe de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5669-5669	Graph dirig�e est une sous-classe de graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5772-5772	Multi graph est une sous-classe de graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5802-5802	Pseudo graph est une sous-classe de graph