Water
(水)
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1193-1199
如果
物质状态
是
天气过程
的
precipitation
状态,
然后 有存在
客体
这样
那个 客体
是
水
的
instance
和
那个 客体
是
那个 天气过程
的
patient
和
那个 物质状态
是
那个 客体
的
attribute
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2830-2855
如果
rain
的
rate
在
地理区域
期间
时距
是
函数量
,
然后 有存在
转移
,
群体
,, ,
物理
,, ,
自身连接物体
,, ,
实体
,, ,
另一个 自身连接物体
, and 和
那个 转移
FALL 这样
那个 转移
是
下雨
的
instance
和
那个 转移
是
located
在
那个 地理区域
和
那个 转移
出现 的
time
在
那个 时距
时段内发生 和
那个 群体
是
群体
的
instance
和
objectTransferred
那个 转移
and
那个 群体
和
那个 物理
是
水
的
instance
和
那个 物理
是
那个 群体
的
member
和
那个 自身连接物体
是
容器
的
instance
和
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
和
平面
是
那个 另外 自身连接物体
的
attribute
和
那个 自身连接物体
是
located
在
那个 地理区域
和
空容器
是
那个 自身连接物体
的
attribute
在
那个 时距
的开始
holdsDuring
和
那个 群体
是
located
在
那个 自身连接物体
和
那个 实体
是
那个 群体
的
top
和 对于
那个 另外 自身连接物体
从
那个 实体
的
depth
是
那个 转移
FALL 和
那个 转移
FALL
equal
那个 时距
和
那个 函数量
在
那个 时距
的结束
holdsDuring
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