Process
(过程)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 26376-26384
如果
能量源
的
voltage
是
物理量
,
然后 有存在
物理
和
过程
这样
那个 物理
是
电力
的
instance
和
那个 过程
是
过程
的
instance
和
那个 能量源
是导致
那个 过程
的
instrument
和
那个 物理
是
那个 过程
的
result
和
那个 物理
的
measure
是
那个 物理量
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