Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1786	例 Object and CompoundSubstance 子類 CompoundSubstance and CompoundSubstance Object 例 Object and CompoundSubstance 部分 Object and Object molecularRatio ElementalSubstance, Integer and CompoundSubstance 例 Collection and Group 會員 Object and Collection 部分 Object and Object 例 Object and ElementalSubstance Integer 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16223-16223	子類 Group and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16224-16224	子類 Group and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7476-7476	子類一群動物 and Group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16234-16234	子類一群人 and Group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16604-16604	子類 Organization and Group
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1335-1335	子類文件系統 and Group