Sigma KB Term Intersection

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