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
相反的方向
的 1 数量 是
位置属性
的
instance
(
domain
oppositeDirection
2
PositionalAttribute
)
Mid-level-ontology.kif 18127-18127
相反的方向
的 2 数量 是
位置属性
的
instance
(
instance
oppositeDirection
BinaryPredicate
)
Mid-level-ontology.kif 18123-18123
相反的方向
是
二元谓语
的
instance
(
instance
oppositeDirection
IrreflexiveRelation
)
Mid-level-ontology.kif 18125-18125
相反的方向
是
非自反关系
的
instance
(
instance
oppositeDirection
SymmetricRelation
)
Mid-level-ontology.kif 18124-18124
相反的方向
是
对称关系
的
instance
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
如果
物理
是
大气气流
的
instance
和
那个 物理
的
measure
是
长度测量
除以
持续时间
在
地区
处往
实体
-TOWARD 方向 和
那个 实体
-FROM 是
那个 实体
-TOWARD 的
opposite
方向,
然后
那个 实体
-FROM 是
那个 地区
的
surface
风向
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18136-18141
如果
客体
在
另一个 客体
的
位置属性
和
那个 位置属性
是
位置属性
的
instance
和
另一个 位置属性
是
那个 位置属性
的
opposite
方向,
然后
那个 另外 客体
在
那个 客体
的
那个 另外 位置属性
(=>
(
and
(
surfaceWindVelocity
?PLACE ?SPEED ?DIR-TOWARD)
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 188-192
如果
客体
是 对于
实体
-TOWARD 的
surface
风速率
物理量
和
那个 实体
-FROM 是
那个 实体
-TOWARD 的
opposite
方向,
然后
那个 实体
-FROM 是
那个 客体
的
surface
风向
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 18143-18145
如果
位置属性
是
另一个 位置属性
的
opposite
方向,
然后
那个 另外 位置属性
是
那个 位置属性
的相反
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
如果
客体
是
锯
的
instance
和
过程
是
切开
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
另一个 客体
是
客体
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
,
实体
,, ,
另一个 实体
,, ,
时距
,, ,
时间位置
,, ,
另一个 时间位置
, and 和
第三 客体
这样
那个 另外 过程
是
运动
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 客体
是
切割装置
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
和
那个 第三 客体
是
那个 另外 过程
的
patient
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 过程
出现 的
time
equal
那个 时距
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 时距
时段 是
那个 另外 时间位置
时段 的一
part
和
那个 实体
是
方向属性
的
instance
和
那个 另外 实体
是
方向属性
的
instance
和
如果
那个 另外 过程
过程的实体 向
那个 实体
在
那个 时间位置
holdsDuring
,
然后
那个 另外 过程
过程的实体 向
那个 另外 实体
和
那个 实体
equal
那个 另外 实体
或
那个 另外 实体
是
那个 实体
的
opposite
方向 和 ~{
那个 实体
equal
那个 另外 实体
} 或 ~{
那个 另外 实体
是
那个 实体
的
opposite
方向 } 在
那个 另外 时间位置
holdsDuring
appearance as argument number 0
(
oppositeDirection
East
West
)
Mid-level-ontology.kif 18134-18134
西方
是
东
的
opposite
方向
(
oppositeDirection
North
South
)
Mid-level-ontology.kif 18133-18133
南
是
北
的
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