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
bottom
Sigma KEE - bottom
bottom
appearance as argument number 1
(
documentation
bottom
ChineseLanguage
"(
bottom
?BOTTOM ?OBJECT)的说法可以成立,如果 ?BOTTOM 是 ?OBJECT 最低或最深的最大的表面部分。")
chinese_format.kif 2843-2844
(
documentation
bottom
EnglishLanguage
"(
bottom
?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.")
Merge.kif 9712-9713
(
documentation
bottom
JapaneseLanguage
"(
bottom
?BOTTOM ?OBJECT) は、?BOTTOM が ?OBJECT の最も低い部分または最も深い表面的な部分である場合、保持される。")
japanese_format.kif 1587-1588
(
domain
bottom
1
SelfConnectedObject
)
Merge.kif 9709-9709
底部
的 1 数量 是
自身连接物体
的
instance
(
domain
bottom
2
SelfConnectedObject
)
Merge.kif 9710-9710
底部
的 2 数量 是
自身连接物体
的
instance
(
instance
bottom
BinaryPredicate
)
Merge.kif 9708-9708
底部
是
二元谓语
的
instance
(
subrelation
bottom
superficialPart
)
Merge.kif 9707-9707
底部
是
表面部分
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
bottom
"%2 的
bottom
%n 是 %1")
chinese_format.kif 359-359
(
format
EnglishLanguage
bottom
"the
bottom
of %2 is %n %1")
english_format.kif 362-362
(
format
FrenchLanguage
bottom
"l' arri�re de %2 est %n %1")
french_format.kif 208-208
(
format
ItalianLanguage
bottom
"il fondo di%2 è %1")
relations-it.txt 39-39
(
format
JapaneseLanguage
bottom
"%2 の
bottom
は %1 では %n")
japanese_format.kif 2015-2015
(
format
PortugueseLanguage
bottom
"o fundo de %2 e' %n %1")
portuguese_format.kif 160-160
(
format
cb
bottom
"ang ilalum sa %2 %n ay %1")
relations-cb.txt 73-73
(
format
de
bottom
"die unterseite von %2 ist %1")
relations-de.txt 477-477
(
format
hi
bottom
"%2 kaa tala %1 hai")
relations-hindi.txt 81-81
(
format
ro
bottom
"
bottom
%t{capãtul de jos} al lui %2 %n{nu} este %1")
relations-ro.kif 228-228
(
format
sv
bottom
"botten av %2 är %n{inte} %1")
relations-sv.txt 224-224
(
format
tg
bottom
"ang ilalim sa %2 %n ay %1")
relations-tg.txt 94-94
(
termFormat
ChineseLanguage
bottom
"底部")
chinese_format.kif 360-360
(
termFormat
ChineseTraditionalLanguage
bottom
"底部")
domainEnglishFormat.kif 11746-11746
(
termFormat
EnglishLanguage
bottom
"bottom")
domainEnglishFormat.kif 11745-11745
(
termFormat
tg
bottom
"ilalim")
relations-tg.txt 95-95
antecedent
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
如果
自身连接物体
的
bottom
是
另一个 自身连接物体
和
客体
是
那个 自身连接物体
的
part
和
那个 客体
和
那个 另外 自身连接物体
不 是
connected
,
然后
那个 客体
在
那个 另外 自身连接物体
的
以上
(=>
(
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
?RAPIDS
Rapids
)
(
bottom
?BOTTOM ?RAPIDS))
(
exists
(?ROCK)
(
and
(
instance
?ROCK
Rock
)
(
part
?ROCK ?BOTTOM))))
Geography.kif 5646-5653
如果
自身连接物体
是
急流
的
instance
和
那个 自身连接物体
的
bottom
是
另一个 自身连接物体
,
然后 有存在
客体
这样
那个 客体
是
岩石
的
instance
和
那个 客体
是
那个 另外 自身连接物体
的
part
(=>
(
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
consequent
(=>
(
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
?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
和
那个 客体
在
那个 另外 自身连接物体
的
以上
和
那个 客体
在
那个 第三 自身连接物体
的
下面
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7740-7745
如果 对于
物理
从
自身连接物体
的
depth
是
长度测量
,
然后 有存在
另一个 自身连接物体
这样
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
和
那个 另外 自身连接物体
和
那个 物理
的
distance
是
那个 长度测量
(=>
(
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
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25189-25195
如果
自身连接物体
是
FabricIron
的
instance
,
然后 有存在
躯体性物体
这样
那个 自身连接物体
的
bottom
是
那个 躯体性物体
和
金属
是
那个 躯体性物体
的材料 和
平面
是
那个 躯体性物体
的
attribute
(=>
(
instance
?SS
ShoeSole
)
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
bottom
?SS ?S))))
Mid-level-ontology.kif 5199-5204
如果
自身连接物体
是
鞋底
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
鞋
的
instance
和
那个 另外 自身连接物体
的
bottom
是
那个 自身连接物体
(=>
(
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