Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
top
Sigma KEE - top
top
appearance as argument number 1
(
documentation
top
ChineseLanguage
"(
top
?TOP ?OBJECT)的意思是 ?TOP 是 ?OBJECT 最高的最大 的表面部分。")
chinese_format.kif 2845-2846
(
documentation
top
EnglishLanguage
"(
top
?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT.")
Merge.kif 9727-9728
(
documentation
top
JapaneseLanguage
"(
top
?TOP ?OBJECT) とは、?TOP が ?OBJECT の最も高い 表面的な部分であることを意味する。")
japanese_format.kif 1589-1590
(
domain
top
1
SelfConnectedObject
)
Merge.kif 9724-9724
顶部
的 1 数量 是
自身连接物体
的
instance
(
domain
top
2
SelfConnectedObject
)
Merge.kif 9725-9725
顶部
的 2 数量 是
自身连接物体
的
instance
(
instance
top
BinaryPredicate
)
Merge.kif 9723-9723
顶部
是
二元谓语
的
instance
(
subrelation
top
superficialPart
)
Merge.kif 9722-9722
顶部
是
表面部分
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
top
"%1 %n 是 %2 的
top
")
chinese_format.kif 389-389
(
format
EnglishLanguage
top
"the
top
of %2 is %n %1")
english_format.kif 395-395
(
format
FrenchLanguage
top
"le
de
ssus de %2 est %n %1")
french_format.kif 223-223
(
format
ItalianLanguage
top
"ilvertice %2 è %1")
relations-it.txt 301-301
(
format
JapaneseLanguage
top
"%2 の
top
は %1 では %n ")
japanese_format.kif 2029-2029
(
format
PortugueseLanguage
top
"o
top
o de %2 e' %n %1")
portuguese_format.kif 175-175
(
format
de
top
"die oberseite von %2 ist %1")
relations-de.txt 522-522
(
format
hi
top
"%2 kaa shiirshha %1 hai")
relations-hindi.txt 337-337
(
format
ro
top
"
top
%t{vârful} lui %2 %n{nu} este %1")
relations-ro.kif 243-243
(
format
sv
top
"
top
pen av %2 är %n{inte} %1")
relations-sv.txt 241-241
(
format
tg
top
"ang tuktok sa %2 ay %1")
relations-tg.txt 493-493
(
termFormat
ChineseLanguage
top
"上")
domainEnglishFormat.kif 58448-58448
(
termFormat
ChineseLanguage
top
"顶部")
chinese_format.kif 390-390
(
termFormat
ChineseTraditionalLanguage
top
"上")
domainEnglishFormat.kif 58447-58447
(
termFormat
EnglishLanguage
top
"top")
domainEnglishFormat.kif 58446-58446
antecedent
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9776-9781
如果
自身连接物体
的
height
是
长度测量
和
另一个 自身连接物体
是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
第三 自身连接物体
,
然后
那个 另外 自身连接物体
和
那个 第三 自身连接物体
的
distance
是
那个 长度测量
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
如果
自身连接物体
是
瓶子
的
instance
和
那个 自身连接物体
的
bottom
是
另一个 自身连接物体
和
第三 自身连接物体
是
那个 自身连接物体
的
top
和
测量单位
是
UnitOfLength
的
instance
和
那个 另外 自身连接物体
的
width
是
实数
那个 测量单位
和
那个 第三 自身连接物体
的
width
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
如果
客体
是
Cappuccino
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
approximateValue
那个 第三 实数
and 20.0
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
如果
客体
是
FlatWhite
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
那个 物质
的
part
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
那个 第三 实数
是
greaterThanOrEqualTo
1.0 和
那个 第三 实数
是
lessThanOrEqualTo
20.0
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
如果
客体
是
Latte
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.21 和
approximateValue
那个 第三 实数
and 12.0
(=>
(
and
(
instance
?Mesa
Mesa
)
(
top
?Top ?Mesa))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4159-4163
如果
自身连接物体
是
台面
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
top
,
然后
平坦的地形
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
instance
?Plateau
Plateau
)
(
top
?Top ?Plateau))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4140-4144
如果
自身连接物体
是
高原
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
top
,
然后
平坦的地形
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
如果
过程
是
逆
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 实体
的
top
和
那个 实体
的
bottom
是
第三 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后
那个 第三 实体
是
那个 实体
的
top
和
那个 实体
的
bottom
是
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4772-4777
如果
自身连接物体
是
海
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
top
,
然后
那个 另外 自身连接物体
的
altitude
是
海平面
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
Meter
)))
Geography.kif 4765-4770
如果
自身连接物体
是
海
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
top
,
然后
那个 另外 自身连接物体
的
altitude
是
海平面
(=>
(
and
(
instance
?butte
Butte
)
(
top
?top ?butte))
(
attribute
?top
FlatTerrain
))
Geography.kif 4182-4186
如果
自身连接物体
是
孤山
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
top
,
然后
平坦的地形
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9753-9758
如果
自身连接物体
是
另一个 自身连接物体
的
top
和
第三 自身连接物体
是
那个 另外 自身连接物体
的一
side
,
然后
那个 自身连接物体
不
equal
那个 第三 自身连接物体
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
如果
自身连接物体
是
另一个 自身连接物体
的
top
和
客体
是
那个 另外 自身连接物体
的
part
和
那个 客体
和
那个 自身连接物体
不 是
connected
,
然后
那个 客体
在
那个 自身连接物体
的
下面
consequent
(=>
(
altitude
?OBJ1 ?OBJ2 ?HEIGHT)
(
exists
(?TOP)
(
and
(
top
?TOP ?OBJ1)
(
distance
?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7718-7723
如果
自身连接物体
的
altitude
是
物理
,
然后 有存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和
那个 另外 自身连接物体
和
那个 物理
的
distance
是
长度测量
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 1922-1930
如果
实数
测量单位
是
自身连接物体
的
elevation
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 自身连接物体
是
土地形式
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和
那个 另外 自身连接物体
和
海平面
的
distance
是
那个 实数
那个 测量单位
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
如果
过程
是
逆
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 实体
的
top
和
那个 实体
的
bottom
是
第三 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后
那个 第三 实体
是
那个 实体
的
top
和
那个 实体
的
bottom
是
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
如果
过程
是
龙卷风
的
instance
和
另一个 过程
是
旋转
的
instance
和
客体
是
空气
的
instance
和
那个 过程
RAN 是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 过程
RAN%n是
那个 另外 过程
的
subProcess
和
那个 客体
是
那个 过程
RAN 的
patient
和
那个 过程
RAN 过程的实体 向
横
,
然后 有存在
另一个 客体
,
自身连接物体
,, ,
那个 过程
OP,, ,
第三 自身连接物体
,, ,
第四 自身连接物体
, and 和
第五 自身连接物体
这样
那个 另外 客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 自身连接物体
是
那个 客体
的
part
和
ConeSegment
是
那个 自身连接物体
的
attribute
和
那个 过程
OP 是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 第三 自身连接物体
和
那个 第四 自身连接物体
是
云
的
instance
和
那个 第四 自身连接物体
的
bottom
是
那个 第五 自身连接物体
和
那个 过程
OP 接上
那个 第五 自身连接物体
和
那个 第三 自身连接物体
接上
那个 另外 客体
(=>
(
attribute
?O
LevelShape
)
(
not
(
exists
(?P1 ?P2 ?T ?H1 ?H2 ?U)
(
and
(
top
?T ?O)
(
part
?P1 ?T)
(
part
?P2 ?T)
(
instance
?U
UnitOfLength
)
(
height
?P1
(
MeasureFn
?H1 ?U))
(
height
?P2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Mid-level-ontology.kif 2823-2836
如果
水平的形状
是
自身连接物体
的
attribute
,
然后 不存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
第四 自身连接物体
,, ,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 第四 自身连接物体
是
那个 自身连接物体
的
top
和
那个 另外 自身连接物体
是
那个 第四 自身连接物体
的
part
和
那个 第三 自身连接物体
是
那个 第四 自身连接物体
的
part
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 另外 自身连接物体
的
height
是
那个 实数
那个 测量单位
和
那个 第三 自身连接物体
的
height
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
attribute
?X
LoftStyle
)
(
exists
(?FLOOR ?LOFT ?CEILING)
(
and
(
bottom
?FLOOR ?X)
(
top
?CEILING ?X)
(
instance
?LOFT
StationaryArtifact
)
(
orientation
?LOFT ?FLOOR
Above
)
(
orientation
?LOFT ?CEILING
Below
))))
Hotel.kif 1157-1165
如果
LoftStyle
是
自身连接物体
的
attribute
,
然后 有存在
另一个 自身连接物体
,
客体
, and 和
第三 自身连接物体
这样
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
和
那个 第三 自身连接物体
是
那个 自身连接物体
的
top
和
那个 客体
是
固定人工制品
的
instance
和
那个 客体
在
那个 另外 自身连接物体
的
以上
和
那个 客体
在
那个 第三 自身连接物体
的
下面
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4476-4484
如果
实体
是
盒
的
instance
,
然后
符号串
所描述的类别
instance
的数量
equal
6
(=>
(
instance
?C
Ceiling
)
(
exists
(?R)
(
and
(
top
?C ?R)
(
instance
?R
Room
))))
Mid-level-ontology.kif 15336-15341
如果
自身连接物体
是
天花板
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 自身连接物体
是
那个 另外 自身连接物体
的
top
和
那个 另外 自身连接物体
是
房间
的
instance
(=>
(
instance
?HOLE
GolfHole
)
(
exists
(?CYLINDER ?CIRCLE)
(
and
(
instance
?CYLINDER
Cylinder
)
(
attribute
?HOLE ?CYLINDER)
(
top
?CIRCLE ?HOLE)
(
instance
?CIRCLE
Circle
)
(
diameter
?CIRCLE
(
MeasureFn
4.25
Inch
)))))
Sports.kif 964-972
如果
自身连接物体
是
高尔夫球洞
的
instance
,
然后 有存在
属性
和
另一个 自身连接物体
这样
那个 属性
是
圆筒
的
instance
和
那个 属性
是
那个 自身连接物体
的
attribute
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和
那个 另外 自身连接物体
是
圈
的
instance
和
那个 另外 自身连接物体
的
diameter
是 4.25
英寸
(=>
(
instance
?L
Lid
)
(
exists
(?C)
(
and
(
instance
?C
Container
)
(
part
?L ?C)
(
capability
Closing
instrument
?L)
(
capability
Opening
instrument
?L)
(
top
?L ?C))))
Mid-level-ontology.kif 4019-4027
如果
自身连接物体
是
盖子
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
容器
的
instance
和
那个 自身连接物体
是
那个 另外 自身连接物体
的
part
和
那个 自身连接物体
能够担当
工具
的角色做
关闭
和
那个 自身连接物体
能够担当
工具
的角色做
开盘
和
那个 自身连接物体
是
那个 另外 自身连接物体
的
top
(=>
(
instance
?ROOF
Roof
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
top
?ROOF ?BUILDING))))
Mid-level-ontology.kif 15346-15351
如果
自身连接物体
是
屋顶
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
建筑物
的
instance
和
那个 自身连接物体
是
那个 另外 自身连接物体
的
top
(=>
(
instance
?X
Courtyard
)
(
and
(
not
(
exists
(?ROOF)
(
and
(
instance
?ROOF
Roof
)
(
top
?ROOF ?X))))
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Surrounded
)))))
Mid-level-ontology.kif 26021-26032
如果
自身连接物体
是
Courtyard
的
instance
,
然后 不存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
屋顶
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和 有存在
客体
这样
那个 客体
是
建筑物
的
instance
和
那个 自身连接物体
在
那个 客体
的
Surrounded
(=>
(
instance
?incline
SlopedArea
)
(
exists
(?top ?bottom ?height1 ?height2 ?U)
(
and
(
top
?top ?incline)
(
bottom
?bottom ?incline)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?top
(
MeasureFn
?height1 ?U))
(
earthAltitude
?bottom
(
MeasureFn
?height2 ?U))
(
greaterThan
?height1 ?height2))))
Geography.kif 4107-4118
如果
自身连接物体
是
倾斜的区域
的
instance
,
然后 有存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 第三 自身连接物体
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 另外 自身连接物体
是
那个 实数
那个 测量单位
above
地表 和
那个 第三 自身连接物体
是
那个 另外 实数
那个 测量单位
above
地表 和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
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
(=>
(
snowfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(
and
(
instance
?PROCESS
Snowing
)
(
eventLocated
?PROCESS ?AREA)
(
during
(
WhenFn
?PROCESS) ?TIME)
(
instance
?STUFF
Snow
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?BOARD
BoardOrBlock
)
(
bottom
?BOTTOM ?BOARD)
(
attribute
?BOTTOM
Flat
)
(
located
?BOARD ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
not
(
exists
(?X)
(
and
(
instance
?X
Object
)
(
located
?X ?BOARD)))))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?STUFF ?BOARD)
(
top
?TOP ?STUFF)
(
depth
?TOP ?BOTTOM ?SNOWFALL)
(
equal
?SNOWFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 3035-3062
如果
snow
的下降
rate
在
地理区域
期间
时距
是
函数量
,
然后 有存在
转移
,
客体
,, ,
自身连接物体
,, ,
实体
,, ,
另一个 自身连接物体
, and 和
另一个 实体
这样
那个 转移
是
下雪
的
instance
和
那个 转移
是
located
在
那个 地理区域
和
那个 转移
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
是
雪
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 自身连接物体
是
板或块
的
instance
和
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
和
平面
是
那个 另外 自身连接物体
的
attribute
和
那个 自身连接物体
是
located
在
那个 地理区域
和 不存在
第三 实体
这样
那个 第三 实体
是
客体
的
instance
和
那个 第三 实体
是
located
在
那个 自身连接物体
在
那个 时距
的开始
holdsDuring
和
那个 客体
是
located
在
那个 自身连接物体
和
那个 实体
是
那个 客体
的
top
和 对于
那个 另外 自身连接物体
从
那个 实体
的
depth
是
那个 另外 实体
和
那个 另外 实体
equal
那个 时距
和
那个 函数量
在
那个 时距
的结束
holdsDuring
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17572-17578
如果
长度测量
是
自身连接物体
的
water
深度,
然后 有存在
另一个 自身连接物体
和
第三 自身连接物体
这样 对于
那个 另外 自身连接物体
从
那个 第三 自身连接物体
的
depth
是
那个 长度测量
和
那个 第三 自身连接物体
是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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