Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6087-6089	如果图是图的 instance，然后把那个图分成另外两个图的最短路径 Set 是把那个图分成另外两个图的路径 Set 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5622-5622	图是命题的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5668-5668	有向图是图的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5771-5771	多重图是图的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5801-5801	伪图是图的 subclass