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
Il numero 1 argomenti di
involvedInEvent
è un
istanza
di
Processo
(
domain
involvedInEvent
2
Entity
)
Merge.kif 2415-2415
Il numero 2 argomenti di
involvedInEvent
è un
istanza
di
Entit�
(
instance
involvedInEvent
AsymmetricRelation
)
Merge.kif 2413-2413
involvedInEvent
è un'
istanza
di
RelazioneAsimmetrica
(
instance
involvedInEvent
BinaryPredicate
)
Merge.kif 2412-2412
involvedInEvent
è un'
istanza
di
PredicatoBinario
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
è una
sottorelazione
di
involvedInEvent
(
subrelation
destination
involvedInEvent
)
Merge.kif 2446-2446
destination
è una
sottorelazione
di
involvedInEvent
(
subrelation
direction
involvedInEvent
)
Merge.kif 16940-16940
direction
è una
sottorelazione
di
involvedInEvent
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
è una
sottorelazione
di
involvedInEvent
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
experiencer
è una
sottorelazione
di
involvedInEvent
(
subrelation
moves
involvedInEvent
)
Merge.kif 10987-10987
moves
è una
sottorelazione
di
involvedInEvent
(
subrelation
origin
involvedInEvent
)
Merge.kif 2484-2484
origin
è una
sottorelazione
di
involvedInEvent
(
subrelation
patient
involvedInEvent
)
Merge.kif 2497-2497
patient
è una
sottorelazione
di
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
Relazione
è una
sottorelazione
di
involvedInEvent
Relazione
è un'
istanza
di
RuoloSemantico
(=>
(
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
è un'
istanza
di
Epidemic
involvedInEvent
Processo
and
AutonomousAgent
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Attributo
Processo
Processo
è un'
istanza
di
ProcessoPatologico
AutonomousAgent
esperisce
s
Processo
Processo
è un
sottoprocesso
di
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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
MoodStabilizer
Processo
è un'
istanza
di
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
attribute
AutonomousAgent
and
Processo
S vales
durante
il
tempo
di esistenza di
Processo
Processo
S è un'
istanza
di
StatoEmotivo
Processo
2 è un'
istanza
di
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
il
tempo
di esistenza di
Processo
2 accades
prima
di il
tempo
di esistenza di
Trasferimento
l'affermazione
attribute
AutonomousAgent
and
Processo
S non vale
durante
Processo
2 ha il modello di forza di
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
è un'
istanza
di
LargeGroupProcess
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
involvedInEvent
Processo
and
Entit�Concreta
memberCount
InsiemeConcreto
and
NumeroIntero
NumeroIntero
è
pi
ù grande di 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
è un'
istanza
di
LargeGroupProcess
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
involvedInEvent
Processo
and
Entit�Concreta
Classe
Classe
C
Classe
C è un'
istanza
di
Classe
involvedInEvent
Classe
C and
Entit�Concreta
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
attribute
Entit�
and
Alone
vales
durante
IntervalloTemporale
Entit�
2
Processo
Entit�
is
uguale
a
Entit�
2
Entit�
2 è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
InterazioneSociale
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
involvedInEvent
Processo
and
Entit�
involvedInEvent
Processo
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
Processo
è un'
istanza
di
LargeGroupProcess
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
involvedInEvent
Processo
and
Entit�Concreta
Classe
Classe
C
Classe
C è un'
istanza
di
Classe
involvedInEvent
Classe
C and
Entit�Concreta
(=>
(
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
attribute
Oggetto
and
MeanOfProduction
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Fabbricazione
involvedInEvent
Entit�
and
Oggetto
Oggetto
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
Manufatto
Entit�
è un
risultato
di
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
Entit�
è un'
istanza
di
CommercialService
involvedInEvent
Entit�
and
Oggetto
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
Organizzazione
is
uguale
a
DepartmentOfPreventingFn
Organizzazione
and
Entit�Concreta
Organizzazione
non
desidera
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
involvedInEvent
Entit�
and
Organizzazione
(=>
(
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
Entit�Concreta
and
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
Danneggiare
Oggetto
è un
paziente
di
Entit�
involvedInEvent
Entit�
and
Entit�Concreta
Entit�Concreta
causa
s
Entit�
ha il modello di forza di
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
attribute
Entit�
and
PostTraumaticStressDisorder
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
CompetizioneViolenta
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
involvedInEvent
Processo
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
Processo
è un'
istanza
di
Pandemic
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
involvedInEvent
Processo
and
Entit�
involvedInEvent
Processo
and
Entit�
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Nazione
Entit�
è un'
istanza
di
Nazione
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Continente
Entit�
è un'
istanza
di
Continente
Entit�
is
uguale
a
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
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
è un'
istanza
di
InterazioneSociale
Entit�
Entit�
involvedInEvent
Processo
and
Entit�
involvedInEvent
Processo
and
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
is
uguale
a
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�
è un'
istanza
di
Parasite
l'affermazione
Entit�
Entit�
ROC
Entit�
è
localizzato
in
Entit�
involvedInEvent
Entit�
ROC and
Entit�
involvedInEvent
Entit�
ROC and
Entit�
benefits
Entit�
ROC and
Entit�
suffers
Entit�
ROC and
Entit�
ha il modello di forza di
Likely
(=>
(
instance
?R
CaseRole
)
(
subrelation
?R
involvedInEvent
))
Merge.kif 2427-2429
Relazione
è un'
istanza
di
RuoloSemantico
Relazione
è una
sottorelazione
di
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
è eseguito nel modo
Solely
Entit�
involvedInEvent
Processo
and
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
2
involvedInEvent
Processo
and
Entit�
2
Entit�
2 è un'
istanza
di
AutonomousAgent
Entit�
is
uguale
a
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