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
direction
Sigma KEE - direction
direction
appearance as argument number 1
(
documentation
direction
ChineseLanguage
"(
direction
?PROC ?ATTR)的意思是
Process
?PROC 正向 ?ATTR 的方向移动。例如:我们会用这个
Predicate
来代表马斯正在向
North
移动。")
chinese_format.kif 3789-3790
(
documentation
direction
EnglishLanguage
"(
direction
?PROC ?ATTR) means that the
Process
?PROC is moving in the direction ?ATTR. For example, one would use this
Predicate
to represent the fact that Max is moving
North
.")
Merge.kif 16941-16944
(
domain
direction
1
Process
)
Merge.kif 16938-16938
域
方向
, 1 and
Process
(
domain
direction
2
PositionalAttribute
)
Merge.kif 16939-16939
域
方向
, 2 and
PositionalAttribute
(
instance
direction
PartialValuedRelation
)
Merge.kif 16937-16937
例
方向
and
PartialValuedRelation
(
subrelation
direction
involvedInEvent
)
Merge.kif 16940-16940
子關係
方向
and
參與活動
appearance as argument number 2
(
format
ChineseLanguage
direction
"%1 过程的实体 %n 向 %2")
chinese_format.kif 588-588
(
format
EnglishLanguage
direction
"entities in the process %1 are %n moving %2")
english_format.kif 592-592
(
format
FrenchLanguage
direction
"les entit�es dans le processus %1 %n bougent %2")
french_format.kif 352-352
(
format
ItalianLanguage
direction
"entità nel processo %1 si stanno muovendo verso %2")
relations-it.txt 74-74
(
format
JapaneseLanguage
direction
"プロセス %1 のエンテテイは %2 を moving して %n")
japanese_format.kif 2099-2099
(
format
PortugueseLanguage
direction
"as entidades no processo %1 %n se movem %2")
portuguese_format.kif 304-304
(
format
cb
direction
"ang mga butang sa ang paglakaw %1 ay nag-usab sa %2")
relations-cb.txt 108-108
(
format
de
direction
"Wesen bei %1 bewegen %2")
relations-de.txt 769-769
(
format
hi
direction
"%1 prakriyaa ke tatva %2 ko chalaa rahe hain")
relations-hindi.txt 115-115
(
format
ro
direction
"entitãþile din procesul %1 %n{nu} moving%t{se deplaseazã} cãtre %2")
relations-ro.kif 374-374
(
format
sv
direction
"entiteter i processen %1 flyttas %2")
relations-sv.txt 390-390
(
format
tg
direction
"ang mga bagay sa ang paglakad %1 ay nagbabago sa %2")
relations-tg.txt 164-164
(
termFormat
ChineseLanguage
direction
"方向")
chinese_format.kif 589-589
(
termFormat
ChineseTraditionalLanguage
direction
"方向")
domainEnglishFormat.kif 19685-19685
(
termFormat
EnglishLanguage
direction
"direction")
domainEnglishFormat.kif 19684-19684
(
termFormat
tg
direction
"banda")
relations-tg.txt 165-165
antecedent
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
例
Process
and
龍捲風
例
Process
and
旋轉
例
Object
and
空氣
例
Process
RAN and
易位
子過程
Process
and
Process
子過程
Process
RAN and
Process
患者
Process
RAN and
Object
方向
Process
RAN and
橫
Object
SelfConnectedObject
,
Process
OP,
SelfConnectedObject
,
SelfConnectedObject
and
SelfConnectedObject
例
Object
and
GeographicArea
Process
是
located
在
Object
部分
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
ConeSegment
上
Process
OP and
SelfConnectedObject
底部
SelfConnectedObject
and
SelfConnectedObject
例
SelfConnectedObject
and
雲
底部
SelfConnectedObject
and
SelfConnectedObject
空間的符合
Process
OP and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
Object
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16946-16951
持有期間
TimePosition
and
方向
entity
and
entity
entity
持有期間
TimePosition
and
方向
entity
and
entity
等於
entity
and
entity
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
例
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
方向 }
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16946-16951
持有期間
TimePosition
and
方向
entity
and
entity
entity
持有期間
TimePosition
and
方向
entity
and
entity
等於
entity
and
entity
(=>
(
instance
?CS
CyclonicStorm
)
(
exists
(?R ?A ?TRAN ?T)
(
and
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))))
Weather.kif 560-570
例
Entity
and
氣旋風暴
Process
Entity
,
Process
and
Process
例
Process
and
旋轉
例
Entity
and
空氣
例
Process
and
易位
子過程
Process
and
Process
子過程
Process
and
Process
患者
Process
and
Entity
方向
Process
and
橫
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