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
Il numero 1 argomenti di
direction
è un
istanza
di
Processo
(
domain
direction
2
PositionalAttribute
)
Merge.kif 16939-16939
Il numero 2 argomenti di
direction
è un
istanza
di
AttributoPosizionale
(
instance
direction
PartialValuedRelation
)
Merge.kif 16937-16937
direction
è un'
istanza
di
RelazioneAValoreParziale
(
subrelation
direction
involvedInEvent
)
Merge.kif 16940-16940
direction
è una
sottorelazione
di
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 1651-1672
Processo
è un'
istanza
di
Tornado
Processo
è un'
istanza
di
Rotating
Oggetto
è un'
istanza
di
Air
Processo
RAN è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
RAN è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
RAN entità nel processo
Processo
RAN si stanno
muovendo
verso
Horizontal
Oggetto
OggettoIntegro
,
Processo
OP,
OggettoIntegro
,
OggettoIntegro
and
OggettoIntegro
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
OggettoIntegro
è una
parte
di
Oggetto
attribute
OggettoIntegro
and
ConeSegment
il
vertice
OggettoIntegro
è
Processo
OP il
fondo
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Cloud
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Processo
OP
incontra
s
OggettoIntegro
OggettoIntegro
incontra
s
Oggetto
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16946-16951
Entità nel processo
Entit�
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
Entit�
entità nel processo
Entit�
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
Entit�
is
uguale
a
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 18150-18184
Oggetto
è un'
istanza
di
Saw
Processo
è un'
istanza
di
Tagliare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Processo
Processo
Entit�
,
Entit�
,
IntervalloTemporale
,
PosizioneTemporale
,
PosizioneTemporale
and
Oggetto
Processo
è un'
istanza
di
Movimento
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un'
istanza
di
CuttingDevice
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è un
paziente
di
Processo
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
Entit�
è un'
istanza
di
AttributoDirezionale
Entit�
è un'
istanza
di
AttributoDirezionale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
Entit�
is
uguale
a
Entit�
oppositeDirection
Entit�
and
Entit�
~{
Entit�
is
uguale
a
Entit�
} ~{
oppositeDirection
Entit�
and
Entit�
} vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR1))
(
forall
(?ATTR2)
(=>
(
holdsDuring
?TIME
(
direction
?PROC ?ATTR2))
(
equal
?ATTR2 ?ATTR1))))
Merge.kif 16946-16951
Entità nel processo
Entit�
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
Entit�
entità nel processo
Entit�
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
Entit�
is
uguale
a
Entit�
(=>
(
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
Entit�
è un'
istanza
di
CyclonicStorm
Processo
Entit�
,
Processo
and
Processo
Processo
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Air
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Entit�
è un
paziente
di
Processo
entità nel processo
Processo
si stanno
muovendo
verso
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