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
The number 1 argument of
direction
is an
instance
of
process
(
domain
direction
2
PositionalAttribute
)
Merge.kif 16939-16939
The number 2 argument of
direction
is an
instance
of
positional attribute
(
instance
direction
PartialValuedRelation
)
Merge.kif 16937-16937
direction
is an
instance
of
partial valued relation
(
subrelation
direction
involvedInEvent
)
Merge.kif 16940-16940
direction
is a
subrelation
of
involved in event
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
If
a process
is an
instance
of
tornado
and
another process
is an
instance
of
rotating
and
an object
is an
instance
of
air
and
the process
RAN is an
instance
of
translocation
and
the other process
is a
subprocess
of
the process
and
the process
RAN is a
subprocess
of
the other process
and
the object
is a
patient
of
the process
RAN and entities in the process
the process
RAN are
moving
horizontal
,
then there exist
another object
,
a self connected object
,, ,
the process
OP,, ,
a third self connected object
,, ,
a fourth self connected object
and
a fifth self connected object
such that
the other object
is an
instance
of
geographic area
and
the process
is
located
at
the other object
and
the self connected object
is a
part
of
the object
and
cone segment
is an
attribute
of
the self connected object
and the
top
of
the self connected object
is
the process
OP and the
bottom
of
the self connected object
is
the third self connected object
and
the fourth self connected object
is an
instance
of
cloud
and the
bottom
of
the fourth self connected object
is
the fifth self connected object
and
the process
OP
meet
s
the fifth self connected object
and
the third self connected object
meet
s
the other object
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16946-16951
If entities in the process
an entity
are
moving
another entity
holds
during
a time position
,
then for all
a third entity
if entities in the process
the entity
are
moving
the third entity
holds
during
the time position
,
then
the third entity
is
equal
to
the other 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
If
an object
is an
instance
of
saw
and
a process
is an
instance
of
cutting
and
the object
is an
instrument
for
the process
and
another object
is an
instance
of
object
and
the other object
is a
patient
of
the process
,
then there exist
another process
,
an entity
,, ,
another entity
,, ,
a time interval
,, ,
a time position
,, ,
another time position
and
a third object
such that
the other process
is an
instance
of
motion
and
the other process
is a
subprocess
of
the process
and
the third object
is an
instance
of
cutting device
and
the third object
is a
part
of
the object
and
the third object
meet
s
the other object
and
the third object
is a
patient
of
the other process
and
the other time position
is an
instance
of
time interval
and
the other time position
is an
instance
of
time interval
and the
time
of existence of
the other process
is
equal
to
the time interval
and
the time interval
is a
part
of
the time position
and
the time interval
is a
part
of
the other time position
and
the entity
is an
instance
of
directional attribute
and
the other entity
is an
instance
of
directional attribute
and
if entities in the process
the other process
are
moving
the entity
holds
during
the time position
,
then entities in the process
the other process
are
moving
the other entity
and
the entity
is
equal
to
the other entity
or
the other entity
is an
opposite
direction of
the entity
and ~{
the entity
is
equal
to
the other entity
} or ~{
the other entity
is an
opposite
direction of
the entity
} holds
during
the other time position
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16946-16951
If entities in the process
an entity
are
moving
another entity
holds
during
a time position
,
then for all
a third entity
if entities in the process
the entity
are
moving
the third entity
holds
during
the time position
,
then
the third entity
is
equal
to
the other 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
If
an entity
is an
instance
of
cyclonic storm
,
then there exist
a process
,
another entity
,, ,
another process
and
a third process
such that
the process
is an
instance
of
rotating
and
the other entity
is an
instance
of
air
and
the other process
is an
instance
of
translocation
and
the process
is a
subprocess
of
the third process
and
the other process
is a
subprocess
of
the process
and
the other entity
is a
patient
of
the other process
and entities in the process
the other process
are
moving
horizontal
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