Organism
(生物)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14361-14366
如果
施事体
是
生物
的
instance
,
然后 有存在
过程
这样
那个 过程
是
出生
的
instance
和
那个 施事体
经历了
那个 过程
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16396-16399
如果
生物
是
生物
的
instance
,
然后 有存在
另一个 生物
这样
那个 另外 生物
是
那个 生物
的
parent
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