Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16379-16384	親 Organism and Organism 子類 Class and Organism 例 Organism and Class 例 Organism and Class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23988-23990	子類 Process and Fertilisation 能力 Process, 患者 and Organism
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	例 Entity and SheddingPart Entity Entity and Entity 例 Entity and EntityRG 子類 EntityRG and Organism EntityART 例 Entity and 一個 dead EntityART %每個 EntityART 是 EntityRG 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Object 子類 OrganicObject and Organism 子類 OrganicObject and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14354	子類 Organism and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	子類 Organism and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	子類有毒生物 and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	子類基因工程生物 and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5888	子類 Parasite and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14399-14399	子類 Plant and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14425-14425	子類 Fungus and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14446	子類 Animal and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14451-14451	子類 Microorganism and Organism

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