Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16401-16406	如果生物是另一个生物的 parent 和类是生物的 subclass 和那个生物是那个类的 instance，然后那个另外生物是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23987-23989	如果有点过程是 Fertilisation 的 subclass，然后生物能够担当受事的角色做有点过程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	如果实体是 SheddingPart 的 instance 和那个实体另一个实体 and 第三实体和那个另外实体是那个另外实体RG 的 instance 和那个另外实体RG 是生物的 subclass，然后有存在那个第三实体ART 这样那个第三实体是一个 dead 那个第三实体ART 的 instance 和 %每个那个第三实体ART 是那个另外实体RG 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有点有机物体是生物的 subclass 或那个有点有机物体是解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14376	生物是有机物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14377-14377	生物是施事体的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	有毒生物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	基因工程生物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5887-5887	Parasite 是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14421-14421	植物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14447-14447	菌类是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14468-14468	动物是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14473-14473	微生物是生物的 subclass

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners