causes
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
Processus
est une
instance
de
HappyVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
bonheur
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
Processus
est une
instance
de
tuer
AutonomousAgent
est un
patient
de
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
Physique
est une
instance
de
KnockLight
physique
est
situ
� �
objet
objet
est une
instance
de
pi�ce
objet
est une
instance
de
Door
objet
est une
partie
de
objet
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
impacte
objet
est un
patient
de
entit�
entit�
cause
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
est une
instance
de
RadiatingVisibleLight
physique
est un
instrument
pour
entit�
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
Processus
est une
instance
de
CeliacDisease
AutonomousAgent
exp
�rimente
processus
objet
est une
instance
de
SmallIntestine
objet
est une
partie
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
Diarrhoea
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8600-8610
Objet
est une
instance
de
Poison
d�palcement
est une
instance
de
ing�rer
moves
d�palcement
and
objet
AutonomousAgent
exp
�rimente
d�palcement
processus
processus
est une
instance
de
endommager
AutonomousAgent
exp
�rimente
processus
d�palcement
cause
processus
(=>
(
and
(
instance
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
Processus
est une
instance
de
OperationPlanning
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
CombatantCommander
processus
AutonomousAgent
processus
est une
instance
de
demander
processus
est un
agent
de
AutonomousAgent
ChairmanJCS
est un
attribut
de
AutonomousAgent
processus
cause
processus
AutonomousAgent
est une
instance
de
SubunifiedCommander
processus
AutonomousAgent
SUPER and
organisation
processus
est une
instance
de
demander
processus
est un
agent
de
AutonomousAgent
SUPER
MilitaryCommander
est un
attribut
de
AutonomousAgent
SUPER
subordinatePosition
organisation
,
AutonomousAgent
and
AutonomousAgent
SUPER
organisation
est une
instance
de
MilitaryForce
processus
cause
processus
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12958-12963
Processus
est une
instance
de
processus de diagnostique
processus
est un
agent
de
AutonomousAgent
entit�
processus
a le
but
AutonomousAgent
conna
�t
entit�
cause
processus
pour
AutonomousAgent
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16250-16259
Processus
est une
instance
de
Sentencing
entit�
est un
patient
de
processus
processus
processus
cause
processus
processus
est une
instance
de
LegalConviction
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
Processus
est une
instance
de
Sepsis
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
Processus
est une
instance
de
StayingStill
AutonomousAgent
exp
�rimente
processus
processus
processus
processus
est une
instance
de
mouvement du corps
processus
est une
instance
de
Translocation
processus
cause
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
Processus
est une
instance
de
SadVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
tristesse
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
Processus
est une
instance
de
SurprisedVoiceUtterance
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Surprise
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
ContentBearingPhysical
est une
instance
de
DeathCertificate
processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
containsFormula
ContentBearingPhysical
and
processus
AY
entit�
,
entit�
and
entit�
ROC
deathdate
AutonomousAgent
and
processus
AY
processus
AY est une
instance
de
jour
deathplace
AutonomousAgent
and
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
d
�finie
AutonomousAgent
entit�
est une
instance
de
Name
entit�
ROC
cause
processus
entit�
ROC est une
instance
de
processus
(=>
(
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
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
entit�
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
Processus
est une
instance
de
DutyTax
processus
inclut une
r
�f�rence �
entit�
entit�
est un
patient
de
processus
processus
objet
and
entit�
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est une
instance
de
nation
entit�
est une
instance
de
nation
objet
est
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
processus
cause
processus
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
WearableItem
est une
instance
de
Respirator
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
entit�
previent
l'occurrence de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
(=>
(
and
(
taxDeferredIncome
?Agent ?Income ?Activity)
(
time
?Activity ?Time))
(
not
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
causes
?Activity ?Tax)
(
time
?Tax ?Time)))))
FinancialOntology.kif 3312-3321
taxDeferredIncome
humain
,
mesure de devise
and
processus organisationnel
processus organisationnel
existe
pendant
position temporel
processus
processus
est une
instance
de
Tax
processus organisationnel
cause
processus
processus
existe
pendant
position temporel
(=>
(
attribute
?H
(
InjuryCausedFn
?PC))
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P ?PC)
(
causes
?P ?I))))
Medicine.kif 403-410
InjuryCausedFn
processus
est un
attribut
de
objet
processus
processus
processus
est une
instance
de
blesser
objet
est un
patient
de
processus
processus
est une
instance
de
processus
processus
cause
processus
(=>
(
attribute
?H
Bruise
)
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P
Bleeding
)
(
causes
?P ?I))))
Medicine.kif 425-432
Bruise
est un
attribut
de
objet
processus
processus
processus
est une
instance
de
blesser
objet
est un
patient
de
processus
processus
est une
instance
de
Bleeding
processus
cause
processus
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29474-29485
CoinOperated
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
,
entit�
and
entit�
CT
entit�
est une
instance
de
CurrencyCoin
entit�
est une
instance
de
financial transaction
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
entit�
a pour
origine
entit�
entit�
cause
entit�
CT
entit�
veut
entit�
CT
(=>
(
attribute
?P
Comedian
)
(
exists
(?PERF ?L)
(
and
(
instance
?PERF
Performance
)
(
agent
?PERF ?P)
(
instance
?L
Laughing
)
(
causes
?PERF ?L))))
Mid-level-ontology.kif 18795-18802
Comedian
est un
attribut
de
AutonomousAgent
AutonomousAgent
ERF
processus
AutonomousAgent
ERF est une
instance
de
Performance
AutonomousAgent
ERF est un
agent
de
AutonomousAgent
processus
est une
instance
de
Laughing
AutonomousAgent
ERF
cause
processus
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
browserID
Identifier
,
WebBrowser
and
WebSite
cha�ne sympbolique
processus
,
AutonomousAgent
and
ComputerProcess
cha�ne sympbolique
est une
instance
de
WebPage
subString
cha�ne sympbolique
and
WebSite
processus
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
cause
processus
processus
aboutit
�
cha�ne sympbolique
Identifier
d
�finie
AutonomousAgent
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
causesSubclass
processus
and
processus
processus
processus
est une
instance
de
processus
processus
processus
est une
instance
de
processus
processus
cause
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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