Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	例 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 16245-16245	子類 Group and Collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16246-16246	子類 Group and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7475-7475	子類一群動物 and Group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16256-16256	子類一群人 and Group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16626-16626	子類 Organization and Group
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1335-1335	子類文件系統 and Group