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
oppositeDirection
Sigma KEE - oppositeDirection
oppositeDirection
appearance as argument number 1
(
documentation
oppositeDirection
EnglishLanguage
"(
oppositeDirection
?DIR1 ?DIR2) means that the
PositionalAttribute
?DIR1 points in the compass direction opposite to the
DirectionalAttribute
?DIR2.")
Mid-level-ontology.kif 18129-18131
(
domain
oppositeDirection
1
PositionalAttribute
)
Mid-level-ontology.kif 18126-18126
Le nombre 1 argument de
oppositeDirection
est une
instance
de
attribut positionnel
(
domain
oppositeDirection
2
PositionalAttribute
)
Mid-level-ontology.kif 18127-18127
Le nombre 2 argument de
oppositeDirection
est une
instance
de
attribut positionnel
(
instance
oppositeDirection
BinaryPredicate
)
Mid-level-ontology.kif 18123-18123
oppositeDirection
est une
instance
de
pr�dicat binaire
(
instance
oppositeDirection
IrreflexiveRelation
)
Mid-level-ontology.kif 18125-18125
oppositeDirection
est une
instance
de
relation irr�flexive
(
instance
oppositeDirection
SymmetricRelation
)
Mid-level-ontology.kif 18124-18124
oppositeDirection
est une
instance
de
relation sym�trique
appearance as argument number 2
(
format
ChineseLanguage
oppositeDirection
"%2 %n 是 %1 的 opposite 方向")
domainEnglishFormat.kif 1847-1847
(
format
ChineseTraditionalLanguage
oppositeDirection
"%2 %n 是 %1 的 opposite 方向")
domainEnglishFormat.kif 1846-1846
(
format
EnglishLanguage
oppositeDirection
"%2 is %n an opposite direction of %1")
domainEnglishFormat.kif 1845-1845
(
termFormat
ChineseLanguage
oppositeDirection
"相反的方向")
domainEnglishFormat.kif 42324-42324
(
termFormat
ChineseTraditionalLanguage
oppositeDirection
"相反的方向")
domainEnglishFormat.kif 42323-42323
(
termFormat
EnglishLanguage
oppositeDirection
"opposite direction")
domainEnglishFormat.kif 42322-42322
antecedent
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
measure
?ZEPHYR
(
VelocityFn
?DIST ?TIME ?PLACE ?DIR-TOWARD))
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 194-199
Physique
est une
instance
de
WindFlow
la
mesure
de
physique
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
entit�
-TOWARD
oppositeDirection
entit�
-TOWARD and
entit�
-FROM
surfaceWindDirection
r�gion
and
entit�
-FROM
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18136-18141
Objet
est
attribut positionnel
�
objet
attribut positionnel
est une
instance
de
attribut positionnel
oppositeDirection
attribut positionnel
and
attribut positionnel
objet
est
attribut positionnel
�
objet
(=>
(
and
(
surfaceWindVelocity
?PLACE ?SPEED ?DIR-TOWARD)
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 188-192
surfaceWindVelocity
objet
,
quantit� physique
and
entit�
-TOWARD
oppositeDirection
entit�
-TOWARD and
entit�
-FROM
surfaceWindDirection
objet
and
entit�
-FROM
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 18143-18145
oppositeDirection
attribut positionnel
and
attribut positionnel
attribut positionnel
est
l
'oppos� de
attribut positionnel
consequent
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
Objet
est une
instance
de
Saw
processus
est une
instance
de
couper
objet
est un
instrument
pour
processus
objet
est une
instance
de
objet
objet
est un
patient
de
processus
processus
entit�
,
entit�
,
interval temporel
,
position temporel
,
position temporel
and
objet
processus
est une
instance
de
d�palcement
processus
est un
sous
-processus de
processus
objet
est une
instance
de
CuttingDevice
objet
est une
partie
de
objet
objet
rencontre
objet
objet
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
instance
de
interval temporel
temps
d'existence de
processus
est
interval temporel
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
entit�
est une
instance
de
attribut directionnel
entit�
est une
instance
de
attribut directionnel
les entit�es dans le processus
processus
bougent
entit�
pendant
position temporel
les entit�es dans le processus
processus
bougent
entit�
entit�
est
entit�
oppositeDirection
entit�
and
entit�
~{
entit�
est
entit�
} ~{
oppositeDirection
entit�
and
entit�
}
pendant
position temporel
appearance as argument number 0
(
oppositeDirection
East
West
)
Mid-level-ontology.kif 18134-18134
oppositeDirection
East
and
West
(
oppositeDirection
North
South
)
Mid-level-ontology.kif 18133-18133
oppositeDirection
North
and
South
(
oppositeDirection
Northeast
Southwest
)
Geography.kif 3671-3671
oppositeDirection
Northeast
and
Southwest
(
oppositeDirection
Northwest
Southeast
)
Geography.kif 3683-3683
oppositeDirection
Northwest
and
Southeast
(
oppositeDirection
Upstream
Downstream
)
Geography.kif 5460-5460
oppositeDirection
Upstream
and
Downstream
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