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 18156-18158
(
domain
oppositeDirection
1
PositionalAttribute
)
Mid-level-ontology.kif 18153-18153
Il numero 1 argomenti di
oppositeDirection
è un
istanza
di
AttributoPosizionale
(
domain
oppositeDirection
2
PositionalAttribute
)
Mid-level-ontology.kif 18154-18154
Il numero 2 argomenti di
oppositeDirection
è un
istanza
di
AttributoPosizionale
(
instance
oppositeDirection
BinaryPredicate
)
Mid-level-ontology.kif 18150-18150
oppositeDirection
è un'
istanza
di
PredicatoBinario
(
instance
oppositeDirection
IrreflexiveRelation
)
Mid-level-ontology.kif 18152-18152
oppositeDirection
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
oppositeDirection
SymmetricRelation
)
Mid-level-ontology.kif 18151-18151
oppositeDirection
è un'
istanza
di
RelazioneSimmetrica
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 42326-42326
(
termFormat
ChineseTraditionalLanguage
oppositeDirection
"相反的方向")
domainEnglishFormat.kif 42325-42325
(
termFormat
EnglishLanguage
oppositeDirection
"opposite direction")
domainEnglishFormat.kif 42324-42324
antecedent
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
measure
?ZEPHYR
(
VelocityFn
?DIST ?TIME ?PLACE ?DIR-TOWARD))
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 182-187
Entit�Concreta
è un'
istanza
di
WindFlow
la
misura
Entit�Concreta
è
MisuraDiLunghezza
per
Durata
in
Regione
in direzione
Entit�
-TOWARD
oppositeDirection
Entit�
-TOWARD and
Entit�
-FROM
surfaceWindDirection
Regione
and
Entit�
-FROM
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18163-18168
Oggetto
è
AttributoPosizionale
a
Oggetto
AttributoPosizionale
è un'
istanza
di
AttributoPosizionale
oppositeDirection
AttributoPosizionale
and
AttributoPosizionale
Oggetto
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
surfaceWindVelocity
?PLACE ?SPEED ?DIR-TOWARD)
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 176-180
surfaceWindVelocity
Oggetto
,
Quantit�Fisica
and
Entit�
-TOWARD
oppositeDirection
Entit�
-TOWARD and
Entit�
-FROM
surfaceWindDirection
Oggetto
and
Entit�
-FROM
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 18170-18172
oppositeDirection
AttributoPosizionale
and
AttributoPosizionale
AttributoPosizionale
è
opposto
a
AttributoPosizionale
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 18177-18211
Oggetto
è un'
istanza
di
Saw
Processo
è un'
istanza
di
Tagliare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Processo
Processo
Entit�
,
Entit�
,
IntervalloTemporale
,
PosizioneTemporale
,
PosizioneTemporale
and
Oggetto
Processo
è un'
istanza
di
Movimento
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un'
istanza
di
CuttingDevice
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è un
paziente
di
Processo
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
Entit�
è un'
istanza
di
AttributoDirezionale
Entit�
è un'
istanza
di
AttributoDirezionale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
Entit�
is
uguale
a
Entit�
oppositeDirection
Entit�
and
Entit�
~{
Entit�
is
uguale
a
Entit�
} ~{
oppositeDirection
Entit�
and
Entit�
} vales
durante
PosizioneTemporale
appearance as argument number 0
(
oppositeDirection
East
West
)
Mid-level-ontology.kif 18161-18161
oppositeDirection
East
and
West
(
oppositeDirection
North
South
)
Mid-level-ontology.kif 18160-18160
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