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 9742-9743
(
documentation
side
JapaneseLanguage
"(
side
?SIDE ?OBJECT) とは、?SIDE が
top
または %bottom ではなくオブジェクトの側であることを意味する。")
japanese_format.kif 1591-1592
(
domain
side
1
SelfConnectedObject
)
Merge.kif 9739-9739
Le nombre 1 argument de
side
est une
instance
de
objet en une partie
(
domain
side
2
SelfConnectedObject
)
Merge.kif 9740-9740
Le nombre 2 argument de
side
est une
instance
de
objet en une partie
(
instance
side
BinaryPredicate
)
Merge.kif 9738-9738
side
est une
instance
de
pr�dicat binaire
(
subrelation
side
superficialPart
)
Merge.kif 9737-9737
side
est une
sous
-relation 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
Objet en une partie
est une
instance
de
Isthmus
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
est
objet en une partie
objet
objet
,
objet
and
objet
objet
est une
instance
de
zone de terre
objet
est une
instance
de
zone de terre
objet en une partie
est
entre
objet
et
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
plan d'eau
objet en une partie
rencontre
objet
objet en une partie
rencontre
objet
(=>
(
and
(
instance
?Mesa
Mesa
)
(
side
?Side ?Mesa))
(
attribute
?Side
SteepTerrain
))
Geography.kif 4165-4169
Objet en une partie
est une
instance
de
Mesa
le
cot
� de
objet en une partie
est
objet en une partie
SteepTerrain
est un
attribut
de
objet en une partie
(=>
(
and
(
instance
?butte
Butte
)
(
side
?side ?butte))
(
attribute
?side
SteepTerrain
))
Geography.kif 4176-4180
Objet en une partie
est une
instance
de
Butte
le
cot
� de
objet en une partie
est
objet en une partie
SteepTerrain
est un
attribut
de
objet en une partie
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
Le
cot
� 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
attribut positionnel
objet en une partie
est
attribut positionnel
�
objet
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9753-9758
Le
dessus
de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
est
objet en une partie
(=>
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH)))
(
width
?OBJECT ?WIDTH))
Merge.kif 9768-9774
Objet en une partie
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� 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
la
largeur
de
objet en une partie
est
mesure de longueur
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
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet en une partie
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
(=>
(
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
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet en une partie
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que 3.0 +
nombre r�el
nombre r�el
est
moins
que 3.0 +
nombre r�el
(=>
(
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
?OBJ
SelfConnectedObject
)
(
side
(
BackFn
?OBJ) ?OBJ))
Merge.kif 910-912
Objet en une partie
est une
instance
de
objet en une partie
le
cot
� de
objet en une partie
est le
derri
�re de
objet en une partie
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
FrontFn
?OBJ) ?OBJ))
Merge.kif 891-893
Objet en une partie
est une
instance
de
objet en une partie
le
cot
� de
objet en une partie
est le
devant
de
objet en une partie
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 26009-26014
Objet en une partie
est
Surrounded
�
objet
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9760-9766
La
largeur
de
objet en une partie
est
mesure de longueur
objet en une partie
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� 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
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