EndFn
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 1254-1268
如果 有存在
时距
和
另一个 时距
这样
持续时间
是
电脑程序
的
dependency
延迟 和
启动块
是
那个 电脑程序
的
dependency
类别 和
另一个 电脑程序
有 对
那个 电脑程序
的依赖性 和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
另一个 电脑程序
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
第三 时距
和
那个 电脑程序
出现 的
time
equal
那个 时距
和
那个 第三 时距
的结束
equal
那个 时距
的开始,
然后
那个 第三 时距
的
duration
是
那个 持续时间
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8248-8257
如果
时点
是在或等于
物理
出现 的
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