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 9734-9735
(
documentation
bottom
JapaneseLanguage
"(
bottom
?BOTTOM ?OBJECT) は、?BOTTOM が ?OBJECT の最も低い部分または最も深い表面的な部分である場合、保持される。")
japanese_format.kif 1587-1588
(
domain
bottom
1
SelfConnectedObject
)
Merge.kif 9731-9731
Le nombre 1 argument de
bottom
est une
instance
de
objet en une partie
(
domain
bottom
2
SelfConnectedObject
)
Merge.kif 9732-9732
Le nombre 2 argument de
bottom
est une
instance
de
objet en une partie
(
instance
bottom
BinaryPredicate
)
Merge.kif 9730-9730
bottom
est une
instance
de
pr�dicat binaire
(
subrelation
bottom
superficialPart
)
Merge.kif 9729-9729
bottom
est une
sous
-relation de
superficialPart
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 9737-9742
L'
arri
�re de
objet en une partie
est
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
connect
� �
objet en une partie
objet
est
Above
�
objet en une partie
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9798-9803
La
hauteur
de
objet en une partie
est
mesure de longueur
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
objet en une partie
est
mesure de longueur
(=>
(
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
Objet en une partie
est une
instance
de
Bottle
l'
arri
�re de
objet en une partie
est
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
largeur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
largeur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?RAPIDS
Rapids
)
(
bottom
?BOTTOM ?RAPIDS))
(
exists
(?ROCK)
(
and
(
instance
?ROCK
Rock
)
(
part
?ROCK ?BOTTOM))))
Geography.kif 5646-5653
Objet en une partie
est une
instance
de
Rapids
l'
arri
�re de
objet en une partie
est
objet en une partie
objet
objet
est une
instance
de
Rock
objet
est une
partie
de
objet en une partie
(=>
(
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 17516-17521
Processus
est une
instance
de
Reversing
entit�
est un
patient
de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
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 17516-17521
Processus
est une
instance
de
Reversing
entit�
est un
patient
de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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 1647-1668
Processus
est une
instance
de
Tornado
processus
est une
instance
de
Rotating
objet
est une
instance
de
Air
processus
RAN est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
RAN est un
sous
-processus de
processus
objet
est un
patient
de
processus
RAN les entit�es dans le processus
processus
RAN
bougent
Horizontal
objet
objet en une partie
,
processus
OP,
objet en une partie
,
objet en une partie
and
objet en une partie
objet
est une
instance
de
secteur g�ographique
eventLocated
processus
and
objet
objet en une partie
est une
partie
de
objet
ConeSegment
est un
attribut
de
objet en une partie
le
dessus
de
objet en une partie
est
processus
OP l'
arri
�re de
objet en une partie
est
objet en une partie
objet en une partie
est une
instance
de
Cloud
l'
arri
�re de
objet en une partie
est
objet en une partie
processus
OP
rencontre
objet en une partie
objet en une partie
rencontre
objet
(=>
(
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
est un
attribut
de
objet en une partie
objet en une partie
objet
and
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
objet
est une
instance
de
artefact stationnaire
objet
est
Above
�
objet en une partie
objet
est
Below
�
objet en une partie
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7762-7767
depth
objet en une partie
,
physique
and
mesure de longueur
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
physique
est
mesure de longueur
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4476-4484
Entit�
est une
instance
de
Box
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 6
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25188-25194
Objet en une partie
est une
instance
de
FabricIron
objet corpusculaire
l'
arri
�re de
objet en une partie
est
objet corpusculaire
m�tal
est
fait
de
objet corpusculaire
Flat
est un
attribut
de
objet corpusculaire
(=>
(
instance
?SS
ShoeSole
)
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
bottom
?SS ?S))))
Mid-level-ontology.kif 5198-5203
Objet en une partie
est une
instance
de
ShoeSole
objet en une partie
objet en une partie
est une
instance
de
Shoe
l'
arri
�re de
objet en une partie
est
objet en une partie
(=>
(
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
Objet en une partie
est une
instance
de
SlopedArea
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
earthAltitude
objet en une partie
and
nombre r�el
unit� de mesure
(s)
earthAltitude
objet en une partie
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 2826-2851
rainfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
collection
,
physique
,
objet en une partie
,
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
est une
instance
de
Raining
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est une
instance
de
eau
physique
est un
membre
de
collection
objet en une partie
est une
instance
de
Container
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
ContainerEmpty
est un
attribut
de
objet en une partie
pendant
le
d
�but de
interval temporel
collection
est
situ
� �
objet en une partie
le
dessus
de
collection
est
entit�
depth
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
FALL est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
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 3031-3058
snowfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
objet
,
objet en une partie
,
entit�
,
objet en une partie
and
entit�
transf�re
est une
instance
de
Snowing
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objet
est une
instance
de
Snow
objectTransferred
transf�re
and
objet
objet en une partie
est une
instance
de
BoardOrBlock
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
entit�
entit�
est une
instance
de
objet
entit�
est
situ
� �
objet en une partie
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
objet en une partie
le
dessus
de
objet
est
entit�
depth
entit�
,
objet en une partie
and
entit�
entit�
est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17571-17577
waterDepth
objet en une partie
and
mesure de longueur
objet en une partie
objet en une partie
depth
objet en une partie
,
objet en une partie
and
mesure de longueur
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
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