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
involvedInEvent
Sigma KEE - involvedInEvent
involvedInEvent
appearance as argument number 1
(
documentation
involvedInEvent
ChineseLanguage
"(involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个
Process
,?THING 这个
Entity
佔着一点
CaseRole
。")
chinese_format.kif 1863-1864
(
documentation
involvedInEvent
EnglishLanguage
"(involvedInEvent ?EVENT ?THING) means that in the
Process
?EVENT, the
Entity
?THING plays some
CaseRole
.")
Merge.kif 2409-2410
(
documentation
involvedInEvent
JapaneseLanguage
"(involvedInEvent ?EVENT ?THING) とは、
Process
?EVENTでは、、
Entity
?THING は
CaseRole
の役をする、という意味である。")
japanese_format.kif 486-487
(
domain
involvedInEvent
1
Process
)
Merge.kif 2414-2414
O argumento numero 1 de
involvedInEvent
e' uma
instancia
de
Processo
(
domain
involvedInEvent
2
Entity
)
Merge.kif 2415-2415
O argumento numero 2 de
involvedInEvent
e' uma
instancia
de
Entidade
(
instance
involvedInEvent
AsymmetricRelation
)
Merge.kif 2413-2413
involvedInEvent
e' uma
instancia
de
Relacao Assimetrica
(
instance
involvedInEvent
BinaryPredicate
)
Merge.kif 2412-2412
involvedInEvent
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
involvedInEvent
"%2 %n 是事件 %1 的 involved ")
domainEnglishFormat.kif 1389-1389
(
format
ChineseTraditionalLanguage
involvedInEvent
"%2 %n 是事件 %1 的 involved ")
domainEnglishFormat.kif 1388-1388
(
format
EnglishLanguage
involvedInEvent
"%2 is %n an involved in event of %1")
domainEnglishFormat.kif 1387-1387
(
subrelation
agent
involvedInEvent
)
Merge.kif 2435-2435
agent
e' uma
sub
-relacao de
involvedInEvent
(
subrelation
destination
involvedInEvent
)
Merge.kif 2446-2446
destination
e' uma
sub
-relacao de
involvedInEvent
(
subrelation
direction
involvedInEvent
)
Merge.kif 16940-16940
direction
e' uma
sub
-relacao de
involvedInEvent
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
e' uma
sub
-relacao de
involvedInEvent
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
experiencer
e' uma
sub
-relacao de
involvedInEvent
(
subrelation
moves
involvedInEvent
)
Merge.kif 10987-10987
moves
e' uma
sub
-relacao de
involvedInEvent
(
subrelation
origin
involvedInEvent
)
Merge.kif 2484-2484
origin
e' uma
sub
-relacao de
involvedInEvent
(
subrelation
patient
involvedInEvent
)
Merge.kif 2497-2497
patient
e' uma
sub
-relacao de
involvedInEvent
(
termFormat
ChineseLanguage
involvedInEvent
"参与活动")
domainEnglishFormat.kif 30901-30901
(
termFormat
ChineseTraditionalLanguage
involvedInEvent
"參與活動")
domainEnglishFormat.kif 30900-30900
(
termFormat
EnglishLanguage
involvedInEvent
"involved in event")
domainEnglishFormat.kif 30899-30899
antecedent
(<=>
(
subrelation
?PRED
involvedInEvent
)
(
instance
?PRED
CaseRole
))
Media.kif 119-121
Relacao
e' uma
sub
-relacao de
involvedInEvent
Relacao
e' uma
instancia
de
Role em Caso
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
Processo
e' uma
instancia
de
Epidemic
involvedInEvent
Processo
and
AutonomousAgent
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Processo Patologico
AutonomousAgent
experimenta
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
MoodStabilizer
Processo
e' uma
instancia
de
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
Processo
S e' uma
instancia
de
Estado Emocional
Processo
2 e' uma
instancia
de
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
tempo
de existencia de
Processo
2 acontence
antes
de
tempo
de existencia de
Transferencia
o argumento
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
Processo
2 tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7940-7947
Processo
e' uma
instancia
de
LargeGroupProcess
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
involvedInEvent
Processo
and
Fisico
memberCount
Colecao
and
Numero Inteiro
Numero Inteiro
e'
maior
que 10
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7949-7958
Processo
e' uma
instancia
de
LargeGroupProcess
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
involvedInEvent
Processo
and
Fisico
Classe
Classe
C
Classe
C e' uma
instancia
de
Classe
involvedInEvent
Classe
C and
Fisico
consequent
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30223-30236
Alone
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Entidade
2
Processo
Entidade
e'
igual
a
Entidade
2
Entidade
2 e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Interacao Social
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
involvedInEvent
Processo
and
Entidade
involvedInEvent
Processo
and
Entidade
2
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7949-7958
Processo
e' uma
instancia
de
LargeGroupProcess
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
involvedInEvent
Processo
and
Fisico
Classe
Classe
C
Classe
C e' uma
instancia
de
Classe
involvedInEvent
Classe
C and
Fisico
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
MeanOfProduction
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Fazer
involvedInEvent
Entidade
and
Objeto
Objeto
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Artefato
Entidade
e' o
resultado
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
e' uma
instancia
de
CommercialService
involvedInEvent
Entidade
and
Objeto
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
Organizacao
e'
igual
a
DepartmentOfPreventingFn
Organizacao
and
Fisico
Organizacao
nao
deseja
%n
Entidade
Entidade
e' uma
instancia
de
Fisico
involvedInEvent
Entidade
and
Organizacao
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
Fisico
and
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Objeto
e' um
patient
de
Entidade
involvedInEvent
Entidade
and
Fisico
Fisico
causa
Entidade
tem a
forca
modal
de
Possibility
(=>
(
holdsDuring
?T
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 9747-9755
PostTraumaticStressDisorder
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
ViolentContest
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
involvedInEvent
Processo
and
Entidade
(=>
(
instance
?E
Pandemic
)
(
exists
(?H1 ?H2 ?N1 ?N2 ?C1 ?C2)
(
and
(
involvedInEvent
?E ?H1)
(
involvedInEvent
?E ?H2)
(
not
(
equal
?H1 ?H2))
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
instance
?C1
Continent
)
(
instance
?C2
Continent
)
(
not
(
equal
?C1 ?C2))
(
holdsDuring
(
WhenFn
?E)
(
or
(
and
(
located
?H1 ?C1)
(
located
?H2 ?C2))
(
and
(
located
?H1 ?N1)
(
located
?H2 ?N2)))))))
Medicine.kif 3537-3561
Processo
e' uma
instancia
de
Pandemic
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
involvedInEvent
Processo
and
Entidade
involvedInEvent
Processo
and
Entidade
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Nacao
Entidade
e' uma
instancia
de
Nacao
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Continente
Entidade
e' uma
instancia
de
Continente
Entidade
e'
igual
a
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
instance
?INTERACTION
SocialInteraction
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
involvedInEvent
?INTERACTION ?AGENT1)
(
involvedInEvent
?INTERACTION ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Merge.kif 13004-13013
Processo
e' uma
instancia
de
Interacao Social
Entidade
Entidade
involvedInEvent
Processo
and
Entidade
involvedInEvent
Processo
and
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e'
igual
a
Entidade
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5894-5904
Entidade
e' uma
instancia
de
Parasite
o argumento
Entidade
Entidade
ROC
Entidade
e'
situado
em
Entidade
involvedInEvent
Entidade
ROC and
Entidade
involvedInEvent
Entidade
ROC and
Entidade
benefits
Entidade
ROC and
Entidade
suffers
Entidade
ROC and
Entidade
tem a
forca
modal
de
Likely
(=>
(
instance
?R
CaseRole
)
(
subrelation
?R
involvedInEvent
))
Merge.kif 2427-2429
Relacao
e' uma
instancia
de
Role em Caso
Relacao
e' uma
sub
-relacao de
involvedInEvent
(=>
(
manner
?P
Solely
)
(
exists
(?H)
(
and
(
involvedInEvent
?P ?H)
(
instance
?H
AutonomousAgent
)
(
not
(
exists
(?H2)
(
and
(
involvedInEvent
?P ?H2)
(
instance
?H2
AutonomousAgent
)
(
not
(
equal
?H ?H2))))))))
Mid-level-ontology.kif 30207-30218
Processo
e' feito de forma
Solely
Entidade
involvedInEvent
Processo
and
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
2
involvedInEvent
Processo
and
Entidade
2
Entidade
2 e' uma
instancia
de
AutonomousAgent
Entidade
e'
igual
a
Entidade
2
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