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
Il numero 1 argomenti di
bottom
è un
istanza
di
OggettoIntegro
(
domain
bottom
2
SelfConnectedObject
)
Merge.kif 9732-9732
Il numero 2 argomenti di
bottom
è un
istanza
di
OggettoIntegro
(
instance
bottom
BinaryPredicate
)
Merge.kif 9730-9730
bottom
è un'
istanza
di
PredicatoBinario
(
subrelation
bottom
superficialPart
)
Merge.kif 9729-9729
bottom
è una
sottorelazione
di
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
Il
fondo
di
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
Oggetto
è
Above
a
OggettoIntegro
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9798-9803
L'
altezza
di
OggettoIntegro
è
MisuraDiLunghezza
il
vertice
OggettoIntegro
è
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
OggettoIntegro
è
MisuraDiLunghezza
(=>
(
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
OggettoIntegro
è un'
istanza
di
Bottle
il
fondo
di
OggettoIntegro
è
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
ampiezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
ampiezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?RAPIDS
Rapids
)
(
bottom
?BOTTOM ?RAPIDS))
(
exists
(?ROCK)
(
and
(
instance
?ROCK
Rock
)
(
part
?ROCK ?BOTTOM))))
Geography.kif 5646-5653
OggettoIntegro
è un'
istanza
di
Rapids
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Oggetto
Oggetto
è un'
istanza
di
Rock
Oggetto
è una
parte
di
OggettoIntegro
(=>
(
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
Processo
è un'
istanza
di
Reversing
Entit�
è un
paziente
di
Processo
il
vertice
Entit�
è
Entit�
il
fondo
di
Entit�
è
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
il
vertice
Entit�
è
Entit�
il
fondo
di
Entit�
è
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
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 17516-17521
Processo
è un'
istanza
di
Reversing
Entit�
è un
paziente
di
Processo
il
vertice
Entit�
è
Entit�
il
fondo
di
Entit�
è
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
il
vertice
Entit�
è
Entit�
il
fondo
di
Entit�
è
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
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 1647-1668
Processo
è un'
istanza
di
Tornado
Processo
è un'
istanza
di
Rotating
Oggetto
è un'
istanza
di
Air
Processo
RAN è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
RAN è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
RAN entità nel processo
Processo
RAN si stanno
muovendo
verso
Horizontal
Oggetto
OggettoIntegro
,
Processo
OP,
OggettoIntegro
,
OggettoIntegro
and
OggettoIntegro
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
OggettoIntegro
è una
parte
di
Oggetto
attribute
OggettoIntegro
and
ConeSegment
il
vertice
OggettoIntegro
è
Processo
OP il
fondo
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Cloud
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Processo
OP
incontra
s
OggettoIntegro
OggettoIntegro
incontra
s
Oggetto
(=>
(
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
attribute
OggettoIntegro
and
LoftStyle
OggettoIntegro
Oggetto
and
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
Oggetto
è un'
istanza
di
ManufattoStatico
Oggetto
è
Above
a
OggettoIntegro
Oggetto
è
Below
a
OggettoIntegro
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7762-7767
depth
OggettoIntegro
,
Entit�Concreta
and
MisuraDiLunghezza
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
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�
è un'
istanza
di
Box
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a 6
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25188-25194
OggettoIntegro
è un'
istanza
di
FabricIron
OggettoCorpuscolare
il
fondo
di
OggettoIntegro
è
OggettoCorpuscolare
Metallo
è
fatto
di
OggettoCorpuscolare
attribute
OggettoCorpuscolare
and
Flat
(=>
(
instance
?SS
ShoeSole
)
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
bottom
?SS ?S))))
Mid-level-ontology.kif 5198-5203
OggettoIntegro
è un'
istanza
di
ShoeSole
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Shoe
il
fondo
di
OggettoIntegro
è
OggettoIntegro
(=>
(
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
OggettoIntegro
è un'
istanza
di
SlopedArea
OggettoIntegro
OggettoIntegro
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
il
vertice
OggettoIntegro
è
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
OggettoIntegro
and
NumeroReale
Unit�DiMisura
(s
earthAltitude
OggettoIntegro
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
InsiemeConcreto
,
Entit�Concreta
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
è un'
istanza
di
Raining
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Acqua
Entit�Concreta
è un
membro
di
InsiemeConcreto
OggettoIntegro
è un'
istanza
di
Container
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
attribute
OggettoIntegro
and
ContainerEmpty
vales
durante
l'
inizio
di
IntervalloTemporale
InsiemeConcreto
è
localizzato
in
OggettoIntegro
il
vertice
InsiemeConcreto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
FALL is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
Oggetto
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Entit�
Trasferimento
è un'
istanza
di
Snowing
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Snow
objectTransferred
Trasferimento
and
Oggetto
OggettoIntegro
è un'
istanza
di
BoardOrBlock
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
localizzato
in
OggettoIntegro
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
OggettoIntegro
il
vertice
Oggetto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Entit�
Entit�
is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17571-17577
waterDepth
OggettoIntegro
and
MisuraDiLunghezza
OggettoIntegro
OggettoIntegro
depth
OggettoIntegro
,
OggettoIntegro
and
MisuraDiLunghezza
il
vertice
OggettoIntegro
è
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
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