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
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
If
a process
is an
instance
of
happy voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
happiness
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
If
a process
is an
instance
of
killing
and
an agent
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
death
and
the agent
experience
s
the other process
and
the process
cause
s
the other process
(=>
(
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
If
a physical
is an
instance
of
knock light
and
the physical
is
located
at
an object
and
the object
is an
instance
of
room
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the entity
and
the entity
cause
s
the other entity
and
the other entity
is an
instance
of
radiating sound
and
the other object
is an
agent
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
radiating visible light
and
the physical
is an
instrument
for
the third entity
(=>
(
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
If
a process
is an
instance
of
coeliac disease
and
an agent
experience
s
the process
and
an object
is an
instance
of
small intestine
and
the object
is a
part
of
the agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
Diarrhoea
and
the agent
experience
s
the entity
and
the process
cause
s
the entity
has the
modal
force
of
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
If
an object
is an
instance
of
poison
and
a motion
is an
instance
of
ingesting
and
the object
moves during
the motion
and
an agent
experience
s
the motion
,
then there exists
a process
such that
the process
is an
instance
of
damaging
and
the agent
experience
s
the process
and
the motion
cause
s
the process
(=>
(
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
If
a process
is an
instance
of
operation planning
and
an agent
is an
agent
of
the process
,
then
the agent
is an
instance
of
combatant commander
and there exist
another process
and
another agent
such that
the other process
is an
instance
of
requesting
and
the other agent
is an
agent
of
the other process
and
chairmanJC s
is an
attribute
of
the other agent
and
the other process
cause
s
the process
or
the agent
is an
instance
of
subunified commander
and there exist
the other process
,
the agent
SUPER and
an organization
such that
the other process
is an
instance
of
requesting
and
the agent
SUPER is an
agent
of
the other process
and
military commander
is an
attribute
of
the agent
SUPER and
the organization
is
subordinate
position
the agent
for
the agent
SUPER and
the organization
is an
instance
of
military force
and
the other process
cause
s
the process
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12958-12963
If
a process
is an
instance
of
diagnostic process
and
an agent
is an
agent
of
the process
,
then there exists
an entity
such that
the process
has the purpose
the agent
know
s
the entity
cause
s
the process
for
the agent
(=>
(
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
If
a process
is an
instance
of
sentencing
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
cause
s
the process
and
the other process
is an
instance
of
legal conviction
and
the entity
is a
patient
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
If
a process
is an
instance
of
septic shock
and
an agent
experience
s
the process
,
then there exists
another process
such that
the other process
is an
instance
of
infecting
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
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
If
a wearable item
is an
instance
of
safety harness
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the entity
and
the animal
is a
patient
of
the entity
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
(=>
(
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
If
a process
is an
instance
of
staying still
and
an agent
experience
s
the process
,
then there don't exist
another process
and
a third process
such that
the other process
is an
instance
of
body motion
and
the third process
is an
instance
of
translocation
and
the other process
cause
s
the third process
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
If
a process
is an
instance
of
sad voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
sadness
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
If
a process
is an
instance
of
surprised voice utterance
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
surprise
and
the agent
experience
s
the other process
and
the other process
cause
s
the process
(=>
(
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
If
a content bearing physical
is an
instance
of
DeathCertificate
and
a process
is an
instance
of
death
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
the process
AY,
another entity
,, ,
a third entity
and
the other entity
ROC such that
the process
AY is a
deathdate
of
the agent
and
the process
AY is an
instance
of
day
and
the other entity
is a
deathplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
name
and
the other entity
ROC
cause
s
the process
and
the other entity
ROC is an
instance
of
process
(=>
(
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
If
an object
is an
instance
of
car alarm
and
another object
is an
instance
of
self powered road vehicle
and
the object
is a
part
of
the other object
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the object
has the purpose
if
the entity
is an
instance
of
stealing
or
the entity
is an
instance
of
damaging
and
the other entity
is an
instance
of
human
and
the other entity
is an
agent
of
the entity
and
the other object
is a
patient
of
the entity
and the
time
of existence of
the entity
is
equal
to
the third entity
and
the entity
is
partly
located
at
the fourth entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
radiating sound
and
the object
is an
agent
of
the fifth entity
and
the entity
cause
s
the fifth entity
and
the fifth entity
has the purpose there exists
a sixth entity
such that
the sixth entity
is an
instance
of
human
and
the sixth entity
is
near
to
the fourth entity
holds
during
the third entity
increase
s likelihood of
the sixth entity
know
s there exists
a seventh entity
such that
the seventh entity
is an
instance
of
stealing
or
the seventh entity
is an
instance
of
damaging
and
the seventh entity
is
partly
located
at
the fourth entity
and
the other object
is a
patient
of
the seventh entity
holds
during
the third entity
or the
time
of existence of
the fifth entity
finish
es the
time
of existence of
the entity
(=>
(
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
If
a process
is an
instance
of
duty tax
and
the process
includes a
reference
to
an entity
and
the entity
is a
patient
of
the process
,
then there exist
another process
,
an object
and
another entity
such that
the other process
is an
instance
of
transfer
and
the entity
is a
patient
of
the other process
and
the other process
originate
s at
the object
and
the other process
end
s up at
the other entity
and
the object
is an
instance
of
nation
and
the other entity
is an
instance
of
nation
and
the object
is not
equal
to
the other entity
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and
the other process
cause
s
the process
(=>
(
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
If
a wearable item
is an
instance
of
respirator
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the third entity
and
the third entity
prevent
s the occurrence of
the other entity
and
the other entity
is a
subclass
of the
class
described by
the fourth entity
(=>
(
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
If
tax
deferred
income
for
a human
resulting from
an organizational process
is
a currency measure
and
the organizational process
exists
during
a time position
,
then there doesn't exist
a process
such that
the process
is an
instance
of
tax
and
the organizational process
cause
s
the process
and
the process
exists
during
the time position
(=>
(
attribute
?H
(
InjuryCausedFn
?PC))
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P ?PC)
(
causes
?P ?I))))
Medicine.kif 403-410
If an
injury
caused by
a kind of process
is an
attribute
of
an object
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
injuring
and
the object
is a
patient
of
the other process
and
the third process
is an
instance
of
a kind of process
and
the third process
cause
s
the other process
(=>
(
attribute
?H
Bruise
)
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P
Bleeding
)
(
causes
?P ?I))))
Medicine.kif 425-432
If
hematoma
is an
attribute
of
an object
,
then there exist
a process
and
another process
such that
the process
is an
instance
of
injuring
and
the object
is a
patient
of
the process
and
the other process
is an
instance
of
bleeding
and
the other process
cause
s
the process
(=>
(
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
If
coin operated
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the third entity
CT such that
the entity
is an
instance
of
coin
and
the other entity
is an
instance
of
financial transaction
and
the other entity
end
s up at
the object
and
the entity
is a
patient
of
the other entity
and
the other entity
originate
s at
the third entity
and
the other entity
cause
s
the third entity
CT and
the third entity
want
s
the third entity
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
If
comedian
is an
attribute
of
an agent
,
then there exist
the agent
ERF and
another process
such that
the agent
ERF is an
instance
of
performance
and
the agent
is an
agent
of
the agent
ERF and
the other process
is an
instance
of
laughing
and
the agent
ERF
cause
s
the other process
(=>
(
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
If
an identifier
is the
ID
of
a web browser
when accessing
a web site
,
then there exist
a symbolic string
,
a process
,, ,
an agent
and
a computer process
such that
the symbolic string
is an
instance
of
web page
and
the symbolic string
is a
sub
-string of
the web site
and
the process
is an
instance
of
accessing web page
and
the agent
is an
instance
of
agent
and
the agent
is an
agent
of
the process
and
the web browser
is a
program
running of
the computer process
and
the computer process
cause
s
the process
and
the process
end
s up at
the symbolic string
and
the identifier
express
es
the agent
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
If
a kind of process
is a
causes
subclass of
another kind of process
,
then for all
a third process
if
the third process
is an
instance
of
a kind of process
,
then there exists
a fourth process
such that
the fourth process
is an
instance
of
another kind of process
and
the fourth process
cause
s
the third process
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