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 16963-16966
(
domain
direction
1
Process
)
Merge.kif 16960-16960
Die Zahl 1 Argument von
direction
ist ein
fall
von
Process
%n{nicht}
(
domain
direction
2
PositionalAttribute
)
Merge.kif 16961-16961
Die Zahl 2 Argument von
direction
ist ein
fall
von
PositionalAttribute
%n{nicht}
(
instance
direction
PartialValuedRelation
)
Merge.kif 16959-16959
direction
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
subrelation
direction
involvedInEvent
)
Merge.kif 16962-16962
direction
ist eine
teilrelation
von
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 1647-1668
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
** Process
ist ein
fall
von
Rotating
%n{nicht} und
Object
ist ein
fall
von
Air
%n{nicht} und
** Process
RAN ist ein
fall
von
Translocation
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** Process
RAN ist ein
subProzess
von
** ** Process
und
** Object
ist ein
patient
von
** Process
RAN %n{nicht} und Wesen bei
** Process
RAN bewegen
Horizontal
,
dann es gibt
** Object
,
SelfConnectedObject
,, ,
** Process
OP,, ,
** SelfConnectedObject
,, ,
** SelfConnectedObject
, and und
** SelfConnectedObject
um
** ** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** Process
and
** ** Object
und
** SelfConnectedObject
ist ein
teil
von
** Object
%n{nicht} und
ConeSegment
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und die
oberseite
von
** SelfConnectedObject
ist
** Process
OP und die
unterseite
von
** SelfConnectedObject
ist
** ** SelfConnectedObject
und
** ** SelfConnectedObject
ist ein
fall
von
Cloud
%n{nicht} und die
unterseite
von
** ** SelfConnectedObject
ist
** ** SelfConnectedObject
und
** Process
OP
schliesst
** ** SelfConnectedObject
raeumlich an und
** ** SelfConnectedObject
schliesst
** ** Object
raeumlich an
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16968-16973
Wenn Wesen bei
entity
bewegen
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann fuer alle
** entity
wenn Wesen bei
** entity
bewegen
** ** entity
haelt
waehrend
** TimePosition
%n{nicht},
dann
** ** entity
ist gleich
** ** entity
%n{nicht}
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
Wenn
Object
ist ein
fall
von
Saw
%n{nicht} und
Process
ist ein
fall
von
Cutting
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
,
Entity
,, ,
** Entity
,, ,
TimeInterval
,, ,
TimePosition
,, ,
** TimePosition
, and und
** Object
um
** ** Process
ist ein
fall
von
Motion
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Object
ist ein
fall
von
CuttingDevice
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
schliesst
** ** Object
raeumlich an und
** ** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** TimePosition
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimePosition
ist ein
fall
von
TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** TimeInterval
%n{nicht} und
** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht} und
** TimeInterval
ist ein
teil
von
** ** TimePosition
%n{nicht} und
** Entity
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
** ** Entity
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
wenn Wesen bei
** ** Process
bewegen
** Entity
haelt
waehrend
** TimePosition
%n{nicht},
dann Wesen bei
** ** Process
bewegen
** ** Entity
und
** Entity
ist gleich
** ** Entity
%n{nicht} oder
oppositeDirection
** Entity
and
** ** Entity
und ~{
** Entity
ist gleich
** ** Entity
%n{nicht} } oder ~{
oppositeDirection
** Entity
and
** ** Entity
} haelt
waehrend
** ** TimePosition
%n{nicht}
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16968-16973
Wenn Wesen bei
entity
bewegen
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann fuer alle
** entity
wenn Wesen bei
** entity
bewegen
** ** entity
haelt
waehrend
** TimePosition
%n{nicht},
dann
** ** entity
ist gleich
** ** entity
%n{nicht}
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