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
Le nombre 1 argument de
involvedInEvent
est une
instance
de
processus
(
domain
involvedInEvent
2
Entity
)
Merge.kif 2415-2415
Le nombre 2 argument de
involvedInEvent
est une
instance
de
entit�
(
instance
involvedInEvent
AsymmetricRelation
)
Merge.kif 2413-2413
involvedInEvent
est une
instance
de
relation asym�trique
(
instance
involvedInEvent
BinaryPredicate
)
Merge.kif 2412-2412
involvedInEvent
est une
instance
de
pr�dicat binaire
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
est une
sous
-relation de
involvedInEvent
(
subrelation
destination
involvedInEvent
)
Merge.kif 2446-2446
destination
est une
sous
-relation de
involvedInEvent
(
subrelation
direction
involvedInEvent
)
Merge.kif 16940-16940
direction
est une
sous
-relation de
involvedInEvent
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
est une
sous
-relation de
involvedInEvent
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
experiencer
est une
sous
-relation de
involvedInEvent
(
subrelation
moves
involvedInEvent
)
Merge.kif 10987-10987
moves
est une
sous
-relation de
involvedInEvent
(
subrelation
origin
involvedInEvent
)
Merge.kif 2484-2484
origin
est une
sous
-relation de
involvedInEvent
(
subrelation
patient
involvedInEvent
)
Merge.kif 2497-2497
patient
est une
sous
-relation 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
Relation
est une
sous
-relation de
involvedInEvent
relation
est une
instance
de
r�le d�pendant du cas
(=>
(
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
Processus
est une
instance
de
Epidemic
involvedInEvent
processus
and
AutonomousAgent
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
processus pathologique
AutonomousAgent
exp
�rimente
processus
processus
est un
sous
-processus de
processus
(=>
(
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
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
MoodStabilizer
processus
est une
instance
de
processus
C
involvedInEvent
processus
and
AutonomousAgent
processus
S est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
processus
S est une
instance
de
�tat �motionnel
processus
2 est une
instance
de
processus
C
involvedInEvent
processus
2 and
AutonomousAgent
temps
d'existence de
processus
2 arrive
plus
t�t que
temps
d'existence de
transf�re
l'argument
processus
S est un
attribut
de
AutonomousAgent
pendant
processus
2 a la
force
modale
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
Processus
est une
instance
de
LargeGroupProcess
collection
est une
instance
de
collection
physique
est un
membre
de
collection
involvedInEvent
processus
and
physique
memberCount
collection
and
nombre entier
nombre entier
est
plus
grand
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
Processus
est une
instance
de
LargeGroupProcess
collection
est une
instance
de
collection
physique
est un
membre
de
collection
involvedInEvent
processus
and
physique
classe
classe
C
classe
C est une
instance
de
classe
involvedInEvent
classe
C and
physique
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
est un
attribut
de
entit�
pendant
interval temporel
entit�
2
processus
entit�
est
entit�
2
entit�
2 est une
instance
de
AutonomousAgent
processus
est une
instance
de
interaction social
temps
d'existence de
processus
prend place
pendant
interval temporel
involvedInEvent
processus
and
entit�
involvedInEvent
processus
and
entit�
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
Processus
est une
instance
de
LargeGroupProcess
collection
est une
instance
de
collection
physique
est un
membre
de
collection
involvedInEvent
processus
and
physique
classe
classe
C
classe
C est une
instance
de
classe
involvedInEvent
classe
C and
physique
(=>
(
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
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
faire
involvedInEvent
entit�
and
objet
objet
est le
resultat
de
entit�
entit�
est une
instance
de
artefact
entit�
est le
resultat
de
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
entit�
est une
instance
de
CommercialService
involvedInEvent
entit�
and
objet
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
Organisation
est
DepartmentOfPreventingFn
organisation
and
physique
organisation
ne
desire
%n{pas}
entit�
entit�
est une
instance
de
physique
involvedInEvent
entit�
and
organisation
(=>
(
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
physique
and
objet
l'argument
entit�
entit�
est une
instance
de
endommager
objet
est un
patient
de
entit�
involvedInEvent
entit�
and
physique
physique
cause
entit�
a la
force
modale
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
est un
attribut
de
entit�
pendant
interval temporel
processus
processus
est une
instance
de
affrontement violent
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
involvedInEvent
processus
and
entit�
(=>
(
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
Processus
est une
instance
de
Pandemic
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
involvedInEvent
processus
and
entit�
involvedInEvent
processus
and
entit�
entit�
est
entit�
entit�
est une
instance
de
nation
entit�
est une
instance
de
nation
entit�
est
entit�
entit�
est une
instance
de
continent
entit�
est une
instance
de
continent
entit�
est
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
interaction social
entit�
entit�
involvedInEvent
processus
and
entit�
involvedInEvent
processus
and
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
entit�
est
entit�
(=>
(
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
Entit�
est une
instance
de
Parasite
l'argument
entit�
entit�
ROC
entit�
est
situ
� �
entit�
involvedInEvent
entit�
ROC and
entit�
involvedInEvent
entit�
ROC and
entit�
benefits
entit�
ROC and
entit�
suffers
entit�
ROC and
entit�
a la
force
modale
de
Likely
(=>
(
instance
?R
CaseRole
)
(
subrelation
?R
involvedInEvent
))
Merge.kif 2427-2429
Relation
est une
instance
de
r�le d�pendant du cas
relation
est une
sous
-relation 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
Processus
est ex�cut� de la fa�on
Solely
entit�
involvedInEvent
processus
and
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
2
involvedInEvent
processus
and
entit�
2
entit�
2 est une
instance
de
AutonomousAgent
entit�
est
entit�
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