No TPTP formula. May not be expressible in strict first order.	Merge.kif 14361-14366	If an agent is an instance of organism, then there exists a process such that the process is an instance of birth and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16396-16399	If an organism is an instance of organism, then there exists another organism such that the other organism is a parent of the 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