EndFn
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 1254-1268
TimeInterval
TimeInterval
TimeDuration
是
ComputerProgram
的
dependency
延遲
啟動塊
是
ComputerProgram
的
dependency
類別
ComputerProgram
有 對
ComputerProgram
的依賴性
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
等於
何時
電腦程序
and
TimeInterval
等於
結束
TimeInterval
and
開始
TimeInterval
持續時間
TimeInterval
and
TimeDuration
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8212-8221
暫時之間或等於
開始
何時
Physical
,
TimePoint
and
結束
何時
Physical
時間
Physical
and
TimePoint
例
TimePoint
and
TimePoint
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