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
oppositeDirection
の数値 1 引数は
位置属性
の
instance
では %n
(
domain
oppositeDirection
2
PositionalAttribute
)
Mid-level-ontology.kif 18126-18126
oppositeDirection
の数値 2 引数は
位置属性
の
instance
では %n
(
instance
oppositeDirection
BinaryPredicate
)
Mid-level-ontology.kif 18122-18122
oppositeDirection
は
2進述語
の
instance
では %n
(
instance
oppositeDirection
IrreflexiveRelation
)
Mid-level-ontology.kif 18124-18124
oppositeDirection
は
非反射関係
の
instance
では %n
(
instance
oppositeDirection
SymmetricRelation
)
Mid-level-ontology.kif 18123-18123
oppositeDirection
は
対称関係
の
instance
では %n
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
物理
は
WindFlow
の
instance
では %n
物理
の
measure
は 方向 の 分の %2
per
1 では %n
oppositeDirection
エンティティー
-TOWARD and
エンティティー
-FROM
surfaceWindDirection
地域
and
エンティティー
-FROM
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18135-18140
オブジェクト
は
位置属性
対
オブジェクト
では %n
位置属性
は
位置属性
の
instance
では %n
oppositeDirection
位置属性
and
位置属性
オブジェクト
は
位置属性
対
オブジェクト
では %n
(=>
(
and
(
surfaceWindVelocity
?PLACE ?SPEED ?DIR-TOWARD)
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 188-192
surfaceWindVelocity
オブジェクト
,
物理量
and
エンティティー
-TOWARD
oppositeDirection
エンティティー
-TOWARD and
エンティティー
-FROM
surfaceWindDirection
オブジェクト
and
エンティティー
-FROM
(=>
(
oppositeDirection
?DIR1 ?DIR2)
(
contraryAttribute
?DIR1 ?DIR2))
Mid-level-ontology.kif 18142-18144
oppositeDirection
位置属性
and
位置属性
位置属性
は
位置属性
の
disjoint
では %n
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
オブジェクト
は
Saw
の
instance
では %n
工程
は
切断
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
エンティティー
,
エンティティー
,
時間間隔
,
時間位置
,
時間位置
and
オブジェクト
工程
は
motion
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
CuttingDevice
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
工程
の
patient
では %n
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間間隔
の
instance
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
エンティティー
は
方向属性
の
instance
では %n
エンティティー
は
方向属性
の
instance
では %n
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n は
時間位置
の
during
holds %n{ない}
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n
エンティティー
は
エンティティー
と
equal
では %n
oppositeDirection
エンティティー
and
エンティティー
~{
エンティティー
は
エンティティー
と
equal
では %n } ~{
oppositeDirection
エンティティー
and
エンティティー
} は
時間位置
の
during
holds %n{ない}
appearance as argument number 0
(
oppositeDirection
East
West
)
Mid-level-ontology.kif 18133-18133
oppositeDirection
East
and
West
(
oppositeDirection
North
South
)
Mid-level-ontology.kif 18132-18132
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