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
ArytenoidCartilageOnOppositeSide
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
O argumento numero 1 de
bottom
e' uma
instancia
de
Objeto auto-conectado
(
domain
bottom
2
SelfConnectedObject
)
Merge.kif 9746-9746
O argumento numero 2 de
bottom
e' uma
instancia
de
Objeto auto-conectado
(
instance
bottom
BinaryPredicate
)
Merge.kif 9744-9744
bottom
e' uma
instancia
de
Predicado Binario
(
subrelation
bottom
superficialPart
)
Merge.kif 9743-9743
bottom
e' uma
sub
-relacao 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 9751-9756
O
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Objeto
e'
Above
em relacao a
Objeto auto-conectado
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9812-9817
A
altura
de
Objeto auto-conectado
e'
Medida de Comprimento
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Objeto auto-conectado
e'
Medida de Comprimento
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
Bottle
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
largura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
largura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?RAPIDS
Rapids
)
(
bottom
?BOTTOM ?RAPIDS))
(
exists
(?ROCK)
(
and
(
instance
?ROCK
Rock
)
(
part
?ROCK ?BOTTOM))))
Geography.kif 5646-5653
Objeto auto-conectado
e' uma
instancia
de
Rapids
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
Objeto
e' uma
instancia
de
Rock
Objeto
e' uma &parte de
Objeto auto-conectado
(=>
(
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
Processo
e' uma
instancia
de
Reversing
Entidade
e' um
patient
de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
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
Processo
e' uma
instancia
de
Reversing
Entidade
e' um
patient
de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Tornado
Processo
e' uma
instancia
de
Rotating
Objeto
e' uma
instancia
de
Air
Processo
RAN e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
RAN e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
RAN as entidades no processo
Processo
RAN se
movem
Horizontal
Objeto
Objeto auto-conectado
,
Processo
OP,
Objeto auto-conectado
,
Objeto auto-conectado
and
Objeto auto-conectado
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
Objeto auto-conectado
e' uma &parte de
Objeto
ConeSegment
e' um
atributo
de
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Processo
OP o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Cloud
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Processo
OP
encontra
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
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
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto
and
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma
instancia
de
Artefato Estacionario
Objeto
e'
Above
em relacao a
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7776-7781
depth
Objeto auto-conectado
,
Fisico
and
Medida de Comprimento
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Fisico
e'
Medida de Comprimento
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4471-4479
Entidade
e' uma
instancia
de
Box
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a 6
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25246-25252
Objeto auto-conectado
e' uma
instancia
de
FabricIron
Objeto Corpuscular
o
fundo
de
Objeto auto-conectado
e'
Objeto Corpuscular
Metal
e'
feito
de
Objeto Corpuscular
Flat
e' um
atributo
de
Objeto Corpuscular
(=>
(
instance
?SS
ShoeSole
)
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
bottom
?SS ?S))))
Mid-level-ontology.kif 5193-5198
Objeto auto-conectado
e' uma
instancia
de
ShoeSole
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Shoe
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
SlopedArea
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
earthAltitude
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Colecao
,
Fisico
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
e' uma
instancia
de
Raining
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Colecao
e' uma
instancia
de
Colecao
objectTransferred
Transferencia
and
Colecao
Fisico
e' uma
instancia
de
Agua
Fisico
e'
membro
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Container
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
ContainerEmpty
e' um
atributo
de
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Colecao
e'
situado
em
Objeto auto-conectado
o
topo
de
Colecao
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
FALL e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
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
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Objeto
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Entidade
Transferencia
e' uma
instancia
de
Snowing
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Snow
objectTransferred
Transferencia
and
Objeto
Objeto auto-conectado
e' uma
instancia
de
BoardOrBlock
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
situado
em
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Objeto auto-conectado
o
topo
de
Objeto
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Entidade
Entidade
e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17599-17605
waterDepth
Objeto auto-conectado
and
Medida de Comprimento
Objeto auto-conectado
Objeto auto-conectado
depth
Objeto auto-conectado
,
Objeto auto-conectado
and
Medida de Comprimento
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
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