Water
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1193-1199
PhysicalState
是
天氣過程
的
precipitation
狀態
Object
例
Object
and
Water
患者
天氣過程
and
Object
attribute
Object
and
PhysicalState
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2830-2855
rain
的
rate
在
GeographicArea
期間
TimeInterval
是
FunctionQuantity
Transfer
Collection
,
Physical
,
SelfConnectedObject
,
entity
,
SelfConnectedObject
and
Transfer
FALL
例
Transfer
and
下雨
Transfer
是
located
在
GeographicArea
期間
何時
Transfer
and
TimeInterval
例
Collection
and
Collection
objectTransferred
Transfer
and
Collection
例
Physical
and
Water
會員
Physical
and
Collection
例
SelfConnectedObject
and
容器
底部
SelfConnectedObject
and
SelfConnectedObject
attribute
SelfConnectedObject
and
平面
位於
SelfConnectedObject
and
GeographicArea
持有期間
開始
TimeInterval
and
attribute
SelfConnectedObject
and
空容器
持有期間
結束
TimeInterval
and
位於
Collection
and
SelfConnectedObject
上
entity
and
Collection
對於
SelfConnectedObject
從
entity
的
depth
是
Transfer
FALL
等於
Transfer
FALL and
乘法
TimeInterval
and
FunctionQuantity
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