Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15016-15024	如果群体是行业的 instance，然后有存在物理，另一个物理， and 和类这样那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个类是法人财团的 subclass 和那个物理是那个类的 immediateInstance 和那个另外物理是那个类的 immediateInstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16188-16188	法人财团是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16190-16190	法人财团是 LegalAgent 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16197-16197	生产厂家是法人财团的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16210-16210	商业组织是法人财团的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4397-4397	LabCorp 是法人财团的 subclass