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
side
Sigma KEE - side
side
appearance as argument number 1
(
documentation
side
ChineseLanguage
"(
side
?SIDE ?OBJECT)的意思是 ?SIDE 和
top
或
bottom
相反,是一个物体的旁边。")
chinese_format.kif 2847-2848
(
documentation
side
EnglishLanguage
"(
side
?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the
top
or
bottom
.")
Merge.kif 9764-9765
(
documentation
side
JapaneseLanguage
"(
side
?SIDE ?OBJECT) とは、?SIDE が
top
または %bottom ではなくオブジェクトの側であることを意味する。")
japanese_format.kif 1591-1592
(
domain
side
1
SelfConnectedObject
)
Merge.kif 9761-9761
Il numero 1 argomenti di
side
è un
istanza
di
OggettoIntegro
(
domain
side
2
SelfConnectedObject
)
Merge.kif 9762-9762
Il numero 2 argomenti di
side
è un
istanza
di
OggettoIntegro
(
instance
side
BinaryPredicate
)
Merge.kif 9760-9760
side
è un'
istanza
di
PredicatoBinario
(
subrelation
side
superficialPart
)
Merge.kif 9759-9759
side
è una
sottorelazione
di
superficialPart
appearance as argument number 2
(
format
ChineseLanguage
side
"%1 %n 是 %2 的一
side
")
chinese_format.kif 387-387
(
format
EnglishLanguage
side
"a
side
of %2 is %n %1")
english_format.kif 393-393
(
format
FrenchLanguage
side
"le cot� de %2 est %n %1")
french_format.kif 222-222
(
format
ItalianLanguage
side
"un lato di %2 è %1")
relations-it.txt 262-262
(
format
JapaneseLanguage
side
"%2 の
side
は %1 では %n ")
japanese_format.kif 2028-2028
(
format
PortugueseLanguage
side
"o
side
de %2 e' %n %1")
portuguese_format.kif 174-174
(
format
de
side
"eine seite von %2 ist %1")
relations-de.txt 519-519
(
format
hi
side
"%2 kaa paarshva %1 hai")
relations-hindi.txt 299-299
(
format
ro
side
"o
side
%t{faþã} a lui %2 %n{nu} este %1")
relations-ro.kif 242-242
(
format
sv
side
"en sida av %2 är %n{inte} %1")
relations-sv.txt 239-239
(
format
tg
side
"ang tabi ng %2 ay %1")
relations-tg.txt 454-454
(
termFormat
ChineseLanguage
side
"侧")
domainEnglishFormat.kif 52934-52934
(
termFormat
ChineseLanguage
side
"边")
chinese_format.kif 388-388
(
termFormat
ChineseTraditionalLanguage
side
"側")
domainEnglishFormat.kif 52933-52933
(
termFormat
EnglishLanguage
side
"side")
domainEnglishFormat.kif 52932-52932
antecedent
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
OggettoIntegro
è un'
istanza
di
Isthmus
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Oggetto
Oggetto
,
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieTerrestre
Oggetto
è un'
istanza
di
SuperficieTerrestre
OggettoIntegro
è
tra
Oggetto
e
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è un'
istanza
di
SuperficieAcquatica
OggettoIntegro
incontra
s
Oggetto
OggettoIntegro
incontra
s
Oggetto
(=>
(
and
(
instance
?Mesa
Mesa
)
(
side
?Side ?Mesa))
(
attribute
?Side
SteepTerrain
))
Geography.kif 4165-4169
OggettoIntegro
è un'
istanza
di
Mesa
un
lato
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
SteepTerrain
(=>
(
and
(
instance
?butte
Butte
)
(
side
?side ?butte))
(
attribute
?side
SteepTerrain
))
Geography.kif 4176-4180
OggettoIntegro
è un'
istanza
di
Butte
un
lato
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
SteepTerrain
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9767-9773
Un
lato
di
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
AttributoPosizionale
OggettoIntegro
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9775-9780
Il
vertice
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
(=>
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH)))
(
width
?OBJECT ?WIDTH))
Merge.kif 9790-9796
OggettoIntegro
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
OggettoIntegro
è
MisuraDiLunghezza
l'
ampiezza
di
OggettoIntegro
è
MisuraDiLunghezza
consequent
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF)))))
Mid-level-ontology.kif 2782-2795
attribute
OggettoIntegro
and
Flat
OggettoIntegro
OggettoIntegro
,
NumeroReale
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
incontra
s
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di 2.0 +
NumeroReale
NumeroReale
è
pi
ù grande di 2.0 +
NumeroReale
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2803-2816
attribute
OggettoIntegro
and
LongAndThin
OggettoIntegro
OggettoIntegro
,
NumeroReale
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
incontra
s
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s la
lunghezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di3.0 +
NumeroReale
NumeroReale
è
meno
di3.0 +
NumeroReale
(=>
(
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
?OBJ
SelfConnectedObject
)
(
side
(
BackFn
?OBJ) ?OBJ))
Merge.kif 910-912
OggettoIntegro
è un'
istanza
di
OggettoIntegro
un
lato
di
OggettoIntegro
è il
dietro
di
OggettoIntegro
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
FrontFn
?OBJ) ?OBJ))
Merge.kif 891-893
OggettoIntegro
è un'
istanza
di
OggettoIntegro
un
lato
di
OggettoIntegro
è il
davanti
di
OggettoIntegro
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 25997-26002
OggettoIntegro
è
Surrounded
a
Oggetto
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
incontra
s
Oggetto
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9782-9788
L'
ampiezza
di
OggettoIntegro
è
MisuraDiLunghezza
OggettoIntegro
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
OggettoIntegro
è
MisuraDiLunghezza
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