time
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7991-7994
如果
时间位置
时段 是
物理
出现 的
time
时段 的一
part
,
然后
那个 物理
在
那个 时间位置
是 存在
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8234-8243
如果
时点
是在或等于
物理
出现 的
time
的开始 和
那个 物理
出现 的
time
的结束
between
,
然后
那个 物理
在
那个 时点
是 存在 和
那个 时点
是
时点
的
instance
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