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 9748-9749
(
documentation
bottom
JapaneseLanguage
"(
bottom
?BOTTOM ?OBJECT) は、?BOTTOM が ?OBJECT の最も低い部分または最も深い表面的な部分である場合、保持される。")
japanese_format.kif 1587-1588
(
domain
bottom
1
SelfConnectedObject
)
Merge.kif 9745-9745
bottom
の数値 1 引数は
自己接続オブジェクト
の
instance
では %n
(
domain
bottom
2
SelfConnectedObject
)
Merge.kif 9746-9746
bottom
の数値 2 引数は
自己接続オブジェクト
の
instance
では %n
(
instance
bottom
BinaryPredicate
)
Merge.kif 9744-9744
bottom
は
2進述語
の
instance
では %n
(
subrelation
bottom
superficialPart
)
Merge.kif 9743-9743
bottom
は
superficialPart
の
subrelation
では %n
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 9751-9756
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
と
connected
して
オブジェクト
は
Above
対
自己接続オブジェクト
では %n
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9812-9817
自己接続オブジェクト
の
height
は
長さ測定
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
と
自己接続オブジェクト
の
distance
は
長さ測定
では %n
(=>
(
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 4693-4703
自己接続オブジェクト
は
Bottle
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
測定単位
は
UnitOfLength
の
instance
では %n
自己接続オブジェクト
の
width
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
width
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?RAPIDS
Rapids
)
(
bottom
?BOTTOM ?RAPIDS))
(
exists
(?ROCK)
(
and
(
instance
?ROCK
Rock
)
(
part
?ROCK ?BOTTOM))))
Geography.kif 5646-5653
自己接続オブジェクト
は
Rapids
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
オブジェクト
オブジェクト
は
Rock
の
instance
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
(=>
(
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 17544-17549
工程
は
Reversing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
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 17544-17549
工程
は
Reversing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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 1634-1655
工程
は
Tornado
の
instance
では %n
工程
は
Rotating
の
instance
では %n
オブジェクト
は
Air
の
instance
では %n
工程
RAN は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
RAN は
工程
% の
subprocess
では %n
オブジェクト
は
工程
RAN の
patient
では %n プロセス
工程
RAN のエンテテイは
Horizontal
を
moving
して %n
オブジェクト
自己接続オブジェクト
,
工程
OP,
自己接続オブジェクト
,
自己接続オブジェクト
and
自己接続オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
eventLocated
工程
and
オブジェクト
自己接続オブジェクト
は
オブジェクト
の
part
では %n
ConeSegment
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
の
top
は
工程
OP では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
は
Cloud
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
工程
OP は
自己接続オブジェクト
と
meet
s %n{ない}
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
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
では %n
自己接続オブジェクト
オブジェクト
and
自己接続オブジェクト
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
オブジェクト
は
固定アーチファクト
の
instance
では %n
オブジェクト
は
Above
対
自己接続オブジェクト
では %n
オブジェクト
は
Below
対
自己接続オブジェクト
では %n
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7776-7781
depth
自己接続オブジェクト
,
物理
and
長さ測定
自己接続オブジェクト
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
と
物理
の
distance
は
長さ測定
では %n
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4471-4479
エンティティー
は
Box
の
instance
では %n
エンティティー
class
の
instances
の数 は 6 と
equal
では %n
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25246-25252
自己接続オブジェクト
は
FabricIron
の
instance
では %n
微粒子オブジェクト
自己接続オブジェクト
の
bottom
は
微粒子オブジェクト
では %n
金属
は
微粒子オブジェクト
で
made
%n
Flat
は
微粒子オブジェクト
の
attribute
では %n
(=>
(
instance
?SS
ShoeSole
)
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
bottom
?SS ?S))))
Mid-level-ontology.kif 5193-5198
自己接続オブジェクト
は
ShoeSole
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
Shoe
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
(=>
(
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
自己接続オブジェクト
は
SlopedArea
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
,
実数
,
実数
and
測定単位
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
測定単位
は
UnitOfLength
の
instance
では %n
earthAltitude
自己接続オブジェクト
and
実数
の
測定単位
(s)
earthAltitude
自己接続オブジェクト
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
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 2813-2838
rainfallIntensity
地理的地域
,
時間間隔
and
関数量
移動
コレクション
,
物理
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
は
Raining
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
水
の
instance
では %n
物理
は
コレクション
の
member
では %n
自己接続オブジェクト
は
Container
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
ContainerEmpty
は
自己接続オブジェクト
の
attribute
では %n は
時間間隔
の
beginning
の
during
holds %n{ない}
コレクション
は
自己接続オブジェクト
に
located
して %n
コレクション
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
FALL は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
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 3018-3045
snowfallIntensity
地理的地域
,
時間間隔
and
関数量
移動
オブジェクト
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
エンティティー
移動
は
Snowing
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
Snow
の
instance
では %n
objectTransferred
移動
and
オブジェクト
自己接続オブジェクト
は
BoardOrBlock
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
自己接続オブジェクト
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
自己接続オブジェクト
に
located
して %n
オブジェクト
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
エンティティー
エンティティー
は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17599-17605
waterDepth
自己接続オブジェクト
and
長さ測定
自己接続オブジェクト
自己接続オブジェクト
depth
自己接続オブジェクト
,
自己接続オブジェクト
and
長さ測定
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
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