Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16379-16384	If an organism is a parent of another organism and a class is a subclass of organism and the organism is an instance of the class, then the other organism is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23988-23990	If a kind of process is a subclass of conceiving, then organism is capable of doing a kind of process as a patient
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	If an entity is an instance of shedding part and the entity another entity and a third entity and the other entity is an instance of the other entityRG and the other entityRG is a subclass of organism, then there exists the third entityART such that the third entity is an instance of a dead the third entityART and every the third entityART is initially part of a the other entityRG
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14354	Organism is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	Genetically engineered organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5888	Parasite is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14399-14399	Plant is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14425-14425	Fungus is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14446	Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14451-14451	Microorganism is a subclass of 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