Organism
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14361-14366
例
AutonomousAgent
and
Organism
Process
例
Process
and
Birth
體驗者
Process
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16396-16399
例
Organism
and
Organism
Organism
親
Organism
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