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
eventPartlyLocated
Sigma KEE - eventPartlyLocated
eventPartlyLocated
appearance as argument number 1
(
documentation
eventPartlyLocated
ChineseLanguage
"(
eventPartlyLocated
?PROC ?OBJ) 的意思是
Process
?PROC 的某些
subProcess
是位于
Object
?OBJ。")
chinese_format.kif 2113-2114
(
documentation
eventPartlyLocated
EnglishLanguage
"(
eventPartlyLocated
?PROC ?OBJ) means that some
subProcess
of
Process
?PROC is located in
Object
?OBJ.")
Merge.kif 4099-4100
(
documentation
eventPartlyLocated
JapaneseLanguage
"(
eventPartlyLocated
?PROC ?OBJ)とは、
Process
?PROC のいくつかの
subProcess
が
Object
?OBJ に位置していることを意味する。")
japanese_format.kif 765-766
(
domain
eventPartlyLocated
1
Process
)
Merge.kif 4096-4096
Il numero 1 argomenti di
eventPartlyLocated
è un
istanza
di
Processo
(
domain
eventPartlyLocated
2
Object
)
Merge.kif 4097-4097
Il numero 2 argomenti di
eventPartlyLocated
è un
istanza
di
Oggetto
(
instance
eventPartlyLocated
CaseRole
)
Merge.kif 4089-4089
eventPartlyLocated
è un'
istanza
di
RuoloSemantico
(
instance
eventPartlyLocated
PartialValuedRelation
)
Merge.kif 4090-4090
eventPartlyLocated
è un'
istanza
di
RelazioneAValoreParziale
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
è una
sottorelazione
di
involvedInEvent
appearance as argument number 2
(
format
ChineseLanguage
eventPartlyLocated
"%1 是
part
ly
located
在 %2 ")
domainEnglishFormat.kif 3330-3330
(
format
ChineseTraditionalLanguage
eventPartlyLocated
"%1 是
part
ly
located
在 %2 ")
domainEnglishFormat.kif 3329-3329
(
format
EnglishLanguage
eventPartlyLocated
"%1 is
part
ly
located
at %2")
domainEnglishFormat.kif 3328-3328
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4119-4119
eventLocated
è una
sottorelazione
di
eventPartlyLocated
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
è una
sottorelazione
di
eventPartlyLocated
(
termFormat
EnglishLanguage
eventPartlyLocated
"event partly located")
english_format.kif 1843-1843
antecedent
(=>
(
and
(
instance
?TSI
TwoStrokeIntake
)
(
instance
?C
Crankcase
)
(
eventPartlyLocated
?TSI ?C))
(
holdsDuring
?TSI
(
attribute
?C
PartialVacuum
)))
Cars.kif 477-483
Processo
è un'
istanza
di
TwoStrokeIntake
Oggetto
è un'
istanza
di
Crankcase
eventPartlyLocated
Processo
and
Oggetto
attribute
Oggetto
and
PartialVacuum
vales
durante
Processo
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
eventPartlyLocated
Processo
and
Oggetto
Processo
Processo
è un
sottoprocesso
di
Processo
eventLocated
Processo
and
Oggetto
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4092-4094
eventPartlyLocated
Processo
and
Oggetto
Processo
è
in
parte localizzato in
Oggetto
consequent
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Oggetto
è un'
istanza
di
CarAlarm
Oggetto
è un'
istanza
di
SelfPoweredRoadVehicle
Oggetto
è una
parte
di
Oggetto
Entit�
Entit�
,
Entit�
and
Entit�
Oggetto
ha
scopo
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Oggetto
è un
paziente
di
Entit�
il
tempo
di esistenza di
Entit�
is
uguale
a
Entit�
eventPartlyLocated
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
Near
a
Entit�
vales
durante
Entit�
aumenta
s la verosimiglianza di
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
eventPartlyLocated
Entit�
and
Entit�
Oggetto
è un
paziente
di
Entit�
vales
durante
Entit�
il
tempo
di esistenza di
Entit�
finisce
es il
tempo
di esistenza di
Entit�
(=>
(
and
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION)
(
instance
?PLACE
WindFlow
))
(
exists
(?BLOW)
(
and
(
instance
?BLOW
Wind
)
(
eventPartlyLocated
?BLOW ?PLACE)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))))
Weather.kif 115-123
surfaceWindVelocity
Regione
,
MisuraDiLunghezza
per
Durata
and
AttributoDirezionale
Regione
è un'
istanza
di
WindFlow
Processo
Processo
è un'
istanza
di
Wind
eventPartlyLocated
Processo
and
Regione
la
misura
Processo
è
MisuraDiLunghezza
per
Durata
in
Regione
in direzione
AttributoDirezionale
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4113-4115
Processo
fine
s in
Oggetto
eventPartlyLocated
Processo
and
Oggetto
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
Processo
si
originas in
Oggetto
eventPartlyLocated
Processo
and
Oggetto
(=>
(
surfaceWindDirection
?PLACE ?DIR)
(
exists
(?WIND ?FROM)
(
and
(
instance
?WIND
Wind
)
(
instance
?FROM
Region
)
(
eventPartlyLocated
?WIND ?PLACE)
(
origin
?WIND ?FROM)
(
orientation
?FROM ?PLACE ?DIR))))
Weather.kif 178-186
surfaceWindDirection
Oggetto
and
AttributoDirezionale
Processo
Oggetto
Processo
è un'
istanza
di
Wind
Oggetto
è un'
istanza
di
Regione
eventPartlyLocated
Processo
and
Oggetto
Processo
si
originas in
Oggetto
Oggetto
è
AttributoDirezionale
a
Oggetto
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