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
O argumento numero 1 de
side
e' uma
instancia
de
Objeto auto-conectado
(
domain
side
2
SelfConnectedObject
)
Merge.kif 9762-9762
O argumento numero 2 de
side
e' uma
instancia
de
Objeto auto-conectado
(
instance
side
BinaryPredicate
)
Merge.kif 9760-9760
side
e' uma
instancia
de
Predicado Binario
(
subrelation
side
superficialPart
)
Merge.kif 9759-9759
side
e' uma
sub
-relacao de
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
Objeto auto-conectado
e' uma
instancia
de
Isthmus
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Objeto
Objeto
,
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
e' uma
instancia
de
Area terrestre
Objeto auto-conectado
esta'
entre
Objeto
e
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto auto-conectado
encontra
Objeto
Objeto auto-conectado
encontra
Objeto
(=>
(
and
(
instance
?Mesa
Mesa
)
(
side
?Side ?Mesa))
(
attribute
?Side
SteepTerrain
))
Geography.kif 4165-4169
Objeto auto-conectado
e' uma
instancia
de
Mesa
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
SteepTerrain
e' um
atributo
de
Objeto auto-conectado
(=>
(
and
(
instance
?butte
Butte
)
(
side
?side ?butte))
(
attribute
?side
SteepTerrain
))
Geography.kif 4176-4180
Objeto auto-conectado
e' uma
instancia
de
Butte
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
SteepTerrain
e' um
atributo
de
Objeto auto-conectado
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9767-9773
O
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Atributo Posicional
Objeto auto-conectado
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9775-9780
O
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
(=>
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH)))
(
width
?OBJECT ?WIDTH))
Merge.kif 9790-9796
Objeto auto-conectado
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Objeto auto-conectado
e'
Medida de Comprimento
a
largura
de
Objeto auto-conectado
e'
Medida de Comprimento
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
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que 2.0 +
Numero Real
Numero Real
e'
maior
que 2.0 +
Numero Real
(=>
(
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
LongAndThin
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que 3.0 +
Numero Real
Numero Real
e'
menos
que 3.0 +
Numero Real
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4476-4484
Entidade
e' uma
instancia
de
Box
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a 6
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
BackFn
?OBJ) ?OBJ))
Merge.kif 910-912
Objeto auto-conectado
e' uma
instancia
de
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
atras
de
Objeto auto-conectado
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
FrontFn
?OBJ) ?OBJ))
Merge.kif 891-893
Objeto auto-conectado
e' uma
instancia
de
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
afrente
de
Objeto auto-conectado
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 25997-26002
Objeto auto-conectado
e'
Surrounded
em relacao a
Objeto
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9782-9788
A
largura
de
Objeto auto-conectado
e'
Medida de Comprimento
Objeto auto-conectado
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Objeto auto-conectado
e'
Medida de Comprimento
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