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 18128-18130
(
domain
oppositeDirection
1
PositionalAttribute
)
Mid-level-ontology.kif 18125-18125
域
相反的方向
, 1 and
PositionalAttribute
(
domain
oppositeDirection
2
PositionalAttribute
)
Mid-level-ontology.kif 18126-18126
域
相反的方向
, 2 and
PositionalAttribute
(
instance
oppositeDirection
BinaryPredicate
)
Mid-level-ontology.kif 18122-18122
例
相反的方向
and
BinaryPredicate
(
instance
oppositeDirection
IrreflexiveRelation
)
Mid-level-ontology.kif 18124-18124
例
相反的方向
and
IrreflexiveRelation
(
instance
oppositeDirection
SymmetricRelation
)
Mid-level-ontology.kif 18123-18123
例
相反的方向
and
SymmetricRelation
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
例
Physical
and
WindFlow
測量
Physical
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
entity
-TOWARD
entity
-FROM 是
entity
-TOWARD 的
opposite
方向
entity
-FROM 是
Region
的
surface
風向
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18135-18140
方位
Object
,
Object
and
PositionalAttribute
例
PositionalAttribute
and
PositionalAttribute
PositionalAttribute
是
PositionalAttribute
的
opposite
方向
方位
Object
,
Object
and
PositionalAttribute
(=>
(
and
(
surfaceWindVelocity
?PLACE ?SPEED ?DIR-TOWARD)
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 188-192
Object
是 對於
entity
-TOWARD 的
surface
風速率
PhysicalQuantity
entity
-FROM 是
entity
-TOWARD 的
opposite
方向
entity
-FROM 是
Object
的
surface
風向
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 18142-18144
PositionalAttribute
是
PositionalAttribute
的
opposite
方向
相反的屬性
PositionalAttribute
and
PositionalAttribute
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 18149-18183
例
Object
and
鋸
例
Process
and
Cutting
儀器
Process
and
Object
例
Object
and
Object
患者
Process
and
Object
Process
Entity
,
Entity
,
TimeInterval
,
TimePosition
,
TimePosition
and
Object
例
Process
and
Motion
子過程
Process
and
Process
例
Object
and
切割裝置
部分
Object
and
Object
空間的符合
Object
and
Object
患者
Process
and
Object
例
TimePosition
and
TimeInterval
例
TimePosition
and
TimeInterval
等於
何時
Process
and
TimeInterval
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
例
Entity
and
DirectionalAttribute
例
Entity
and
DirectionalAttribute
持有期間
TimePosition
and
方向
Process
and
Entity
持有期間
TimePosition
and
方向
Process
and
Entity
等於
Entity
and
Entity
Entity
是
Entity
的
opposite
方向 ~{
等於
Entity
and
Entity
} ~{
Entity
是
Entity
的
opposite
方向 }
appearance as argument number 0
(
oppositeDirection
East
West
)
Mid-level-ontology.kif 18133-18133
西方
是
東
的
opposite
方向
(
oppositeDirection
North
South
)
Mid-level-ontology.kif 18132-18132
南
是
北
的
opposite
方向
(
oppositeDirection
Northeast
Southwest
)
Geography.kif 3671-3671
西南
是
東北
的
opposite
方向
(
oppositeDirection
Northwest
Southeast
)
Geography.kif 3683-3683
東南
是
西北
的
opposite
方向
(
oppositeDirection
Upstream
Downstream
)
Geography.kif 5460-5460
下游
是
上游的
的
opposite
方向
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