Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	If an entity is an instance of organism remains and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agentTYPE is a subclass of organic object and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18083-18091	If a process is an instance of harvesting and an entity is a result of the process, then there exists the entityRG such that the entity is an instance of a dead the entityRG and the entityRG is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14368-14368	Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14369-14369	Organic object is a subclass of organic thing
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 50-50	Nucleotide is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 82-82	Biopolymer is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 640-640	Gene is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28-28	Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14376	Organism is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14935-14935	Anatomical structure is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 351-351	Miswak is a subclass of organic object

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