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 17012-17015
(
domain
direction
1
Process
)
Merge.kif 17009-17009
Le nombre 1 argument de
direction
est une
instance
de
processus
(
domain
direction
2
PositionalAttribute
)
Merge.kif 17010-17010
Le nombre 2 argument de
direction
est une
instance
de
attribut positionnel
(
instance
direction
PartialValuedRelation
)
Merge.kif 17008-17008
direction
est une
instance
de
relation partielle
(
subrelation
direction
involvedInEvent
)
Merge.kif 17011-17011
direction
est une
sous
-relation de
involvedInEvent
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 1634-1655
Processus
est une
instance
de
Tornado
processus
est une
instance
de
Rotating
objet
est une
instance
de
Air
processus
RAN est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
RAN est un
sous
-processus de
processus
objet
est un
patient
de
processus
RAN les entit�es dans le processus
processus
RAN
bougent
Horizontal
objet
objet en une partie
,
processus
OP,
objet en une partie
,
objet en une partie
and
objet en une partie
objet
est une
instance
de
secteur g�ographique
eventLocated
processus
and
objet
objet en une partie
est une
partie
de
objet
ConeSegment
est un
attribut
de
objet en une partie
le
dessus
de
objet en une partie
est
processus
OP l'
arri
�re de
objet en une partie
est
objet en une partie
objet en une partie
est une
instance
de
Cloud
l'
arri
�re de
objet en une partie
est
objet en une partie
processus
OP
rencontre
objet en une partie
objet en une partie
rencontre
objet
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 17017-17022
Les entit�es dans le processus
entit�
bougent
entit�
pendant
position temporel
entit�
les entit�es dans le processus
entit�
bougent
entit�
pendant
position temporel
entit�
est
entit�
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 18177-18211
Objet
est une
instance
de
Saw
processus
est une
instance
de
couper
objet
est un
instrument
pour
processus
objet
est une
instance
de
objet
objet
est un
patient
de
processus
processus
entit�
,
entit�
,
interval temporel
,
position temporel
,
position temporel
and
objet
processus
est une
instance
de
d�palcement
processus
est un
sous
-processus de
processus
objet
est une
instance
de
CuttingDevice
objet
est une
partie
de
objet
objet
rencontre
objet
objet
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
instance
de
interval temporel
temps
d'existence de
processus
est
interval temporel
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
entit�
est une
instance
de
attribut directionnel
entit�
est une
instance
de
attribut directionnel
les entit�es dans le processus
processus
bougent
entit�
pendant
position temporel
les entit�es dans le processus
processus
bougent
entit�
entit�
est
entit�
oppositeDirection
entit�
and
entit�
~{
entit�
est
entit�
} ~{
oppositeDirection
entit�
and
entit�
}
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 17017-17022
Les entit�es dans le processus
entit�
bougent
entit�
pendant
position temporel
entit�
les entit�es dans le processus
entit�
bougent
entit�
pendant
position temporel
entit�
est
entit�
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