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
Rice
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 9778-9779
(
documentation
side
JapaneseLanguage
"(
side
?SIDE ?OBJECT) とは、?SIDE が
top
または %bottom ではなくオブジェクトの側であることを意味する。")
japanese_format.kif 1591-1592
(
domain
side
1
SelfConnectedObject
)
Merge.kif 9775-9775
The number 1 argument of
side
is an
instance
of
self connected object
(
domain
side
2
SelfConnectedObject
)
Merge.kif 9776-9776
The number 2 argument of
side
is an
instance
of
self connected object
(
instance
side
BinaryPredicate
)
Merge.kif 9774-9774
side
is an
instance
of
binary predicate
(
subrelation
side
superficialPart
)
Merge.kif 9773-9773
side
is a
subrelation
of
superficial part
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 52936-52936
(
termFormat
ChineseLanguage
side
"边")
chinese_format.kif 388-388
(
termFormat
ChineseTraditionalLanguage
side
"側")
domainEnglishFormat.kif 52935-52935
(
termFormat
EnglishLanguage
side
"side")
domainEnglishFormat.kif 52934-52934
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
If
a self connected object
is an
instance
of
isthmus
and a
side
of
the self connected object
is
another self connected object
and a
side
of
the self connected object
is
a third self connected object
and
the other self connected object
is not
equal
to
the third self connected object
,
then there exist
an object
,
another object
,, ,
a third object
and
a fourth object
such that
the object
is an
instance
of
land area
and
the other object
is an
instance
of
land area
and
the self connected object
is
between
the object
and
the other object
and
the third object
is an
instance
of
water area
and
the fourth object
is an
instance
of
water area
and
the other self connected object
meet
s
the third object
and
the third self connected object
meet
s
the fourth object
(=>
(
and
(
instance
?Mesa
Mesa
)
(
side
?Side ?Mesa))
(
attribute
?Side
SteepTerrain
))
Geography.kif 4165-4169
If
a self connected object
is an
instance
of
mesa
and a
side
of
the self connected object
is
another self connected object
,
then
steep terrain
is an
attribute
of
the other self connected object
(=>
(
and
(
instance
?butte
Butte
)
(
side
?side ?butte))
(
attribute
?side
SteepTerrain
))
Geography.kif 4176-4180
If
a self connected object
is an
instance
of
butte
and a
side
of
the self connected object
is
another self connected object
,
then
steep terrain
is an
attribute
of
the other self connected object
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9781-9788
If a
side
of
a self connected object
is
another self connected object
and
an object
is a
part
of
the self connected object
and
the object
is not
connected
to
the other self connected object
,
then there exists
a positional attribute
such that
the other self connected object
is
the positional attribute
to
the object
(=>
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))
(
width
?OBJECT ?WIDTH))
Merge.kif 9805-9810
If a
side
of
a self connected object
is
another self connected object
and a
side
of
the self connected object
is
a third self connected object
and the
distance
between
the other self connected object
and
the third self connected object
is
a length measure
,
then the
width
of
the self connected object
is
the length measure
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9790-9795
If the
top
of
a self connected object
is
another self connected object
and a
side
of
the self connected object
is
a third self connected object
,
then
the other self connected object
is not
equal
to
the third self connected object
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 2775-2788
If
flat
is an
attribute
of
a self connected object
,
then there exist
another self connected object
,
a third self connected object
,, ,
a real number
,, ,
another real number
,, ,
a third real number
and
an unit of measure
such that a
side
of
the self connected object
is
the other self connected object
and a
side
of
the self connected object
is
the third self connected object
and
the other self connected object
meet
s
the third self connected object
and
the other self connected object
is not
equal
to
the third self connected object
and
the unit of measure
is an
instance
of
unit of length
and the
height
of
the self connected object
is
the real number
the unit of measure
(s) and the
height
of
the other self connected object
is
the other real number
the unit of measure
(s) and the
height
of
the third self connected object
is
the third real number
the unit of measure
(s) and
the other real number
is
greater
than 2.0 and
the real number
and
the third real number
is
greater
than 2.0 and
the real number
(=>
(
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 2796-2809
If
long and thin
is an
attribute
of
a self connected object
,
then there exist
another self connected object
,
a third self connected object
,, ,
a real number
,, ,
another real number
,, ,
a third real number
and
an unit of measure
such that a
side
of
the self connected object
is
the other self connected object
and a
side
of
the self connected object
is
the third self connected object
and
the other self connected object
meet
s
the third self connected object
and
the other self connected object
is not
equal
to
the third self connected object
and
the unit of measure
is an
instance
of
unit of length
and the
length
of
the self connected object
is
the real number
the unit of measure
(s) and the
length
of
the other self connected object
is
the other real number
the unit of measure
(s) and the
length
of
the third self connected object
is
the third real number
the unit of measure
(s) and
the other real number
is
less
than 3.0 and
the real number
and
the third real number
is
less
than 3.0 and
the real number
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4471-4479
If
an entity
is an
instance
of
box
,
then the number of
instances
in the
class
described by
a symbolic string
is
equal
to 6
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
BackFn
?OBJ) ?OBJ))
Merge.kif 910-912
If
a self connected object
is an
instance
of
self connected object
,
then a
side
of
the self connected object
is the
back
of
the self connected object
(=>
(
instance
?OBJ
SelfConnectedObject
)
(
side
(
FrontFn
?OBJ) ?OBJ))
Merge.kif 891-893
If
a self connected object
is an
instance
of
self connected object
,
then a
side
of
the self connected object
is the
front
of
the self connected object
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 26042-26047
If
a self connected object
is
surrounded
to
an object
,
then for all
another self connected object
if a
side
of
the self connected object
is
the other self connected object
,
then
the other self connected object
meet
s
the object
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9797-9803
If the
width
of
a self connected object
is
a length measure
,
then there exist
another self connected object
and
a third self connected object
such that a
side
of
the self connected object
is
the other self connected object
and a
side
of
the self connected object
is
the third self connected object
and the
distance
between
the other self connected object
and
the third self connected object
is
the length measure
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