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
O argumento numero 1 de
eventPartlyLocated
e' uma
instancia
de
Processo
(
domain
eventPartlyLocated
2
Object
)
Merge.kif 4097-4097
O argumento numero 2 de
eventPartlyLocated
e' uma
instancia
de
Objeto
(
instance
eventPartlyLocated
CaseRole
)
Merge.kif 4089-4089
eventPartlyLocated
e' uma
instancia
de
Role em Caso
(
instance
eventPartlyLocated
PartialValuedRelation
)
Merge.kif 4090-4090
eventPartlyLocated
e' uma
instancia
de
Relacao Parcial
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
e' uma
sub
-relacao de
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
e' uma
sub
-relacao de
eventPartlyLocated
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
e' uma
sub
-relacao de
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
e' uma
instancia
de
TwoStrokeIntake
Objeto
e' uma
instancia
de
Crankcase
eventPartlyLocated
Processo
and
Objeto
PartialVacuum
e' um
atributo
de
Objeto
vale
durante
Processo
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
eventPartlyLocated
Processo
and
Objeto
Processo
Processo
e' um
sub
-processo de
Processo
eventLocated
Processo
and
Objeto
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4092-4094
eventPartlyLocated
Processo
and
Objeto
Processo
e'
parcialmente
localizado em
Objeto
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
Objeto
e' uma
instancia
de
CarAlarm
Objeto
e' uma
instancia
de
SelfPoweredRoadVehicle
Objeto
e' uma &parte de
Objeto
Entidade
Entidade
,
Entidade
and
Entidade
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
tempo
de existencia de
Entidade
e'
igual
a
Entidade
eventPartlyLocated
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
Near
em relacao a
Entidade
vale
durante
Entidade
aumenta
a probabilidade de
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
eventPartlyLocated
Entidade
and
Entidade
Objeto
e' um
patient
de
Entidade
vale
durante
Entidade
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Entidade
(=>
(
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
Regiao
,
Medida de Comprimento
por
Duracao Temporal
and
Atributo Directional
Regiao
e' uma
instancia
de
WindFlow
Processo
Processo
e' uma
instancia
de
Wind
eventPartlyLocated
Processo
and
Regiao
a
medida
de
Processo
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4113-4115
Processo
termina
em
Objeto
eventPartlyLocated
Processo
and
Objeto
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
Processo
tem como
origem
Objeto
eventPartlyLocated
Processo
and
Objeto
(=>
(
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
Objeto
and
Atributo Directional
Processo
Objeto
Processo
e' uma
instancia
de
Wind
Objeto
e' uma
instancia
de
Regiao
eventPartlyLocated
Processo
and
Objeto
Processo
tem como
origem
Objeto
Objeto
e'
Atributo Directional
em relacao a
Objeto
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