knows
(=>
(
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
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
If
an object
is an
instance
of
fire alarm
and
device on
is an
attribute
of
the object
and
the object
is
located
at
another object
,
then there exists
a process
such that
the process
is an
instance
of
radiating sound
and
the object
is an
instrument
for
the process
and
the process
has the purpose there exists
an entity
such that
the entity
is an
instance
of
group of people
and
the entity
is
located
at
the other object
and
the entity
know
s there exists
another entity
such that
the other entity
is an
instance
of
fire
and
the other entity
is
located
at
the other object
(=>
(
attribute
?X
Celebrity
)
(
greaterThan
(
exists
(?A)
(
CardinalityFn
(
KappaFn
?A
(
knows
?A
(
exists
(?P)
(
equal
?P ?X)))))) 1000))
Mid-level-ontology.kif 22173-22182
If
celebrity
is an
attribute
of
an object
,
then there exists
an entity
such that the number of
instances
in the
class
described by
the entity
is
greater
than 1000
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
If
an entity
is an
instance
of
community spread
,
then there doesn't exist
a cognitive agent
such that
the cognitive agent
know
s there exists
another entity
such that
the entity
originate
s at
the cognitive agent
and
the cognitive agent
has
name
the other entity
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
If
a physical
is an
instance
of
FMIP
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
iPhone
and
the physical
is an
instrument
for
the third entity
and
the entity
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
and
the entity
doesn't
know
the other entity
is
located
at
the fourth entity
holds
during
immediately
before
the
time
of existence of
the third entity
and
the entity
know
s
the other entity
is
located
at
the fourth entity
holds
during
immediately
after
the
time
of existence of
the third entity
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
If
a process
is an
instance
of
phishing
,
then there exist
a cognitive agent
,
another cognitive agent
,, ,
another process
and
a formula
such that
the other process
is an
instance
of
communication
and
the other process
originate
s at
the cognitive agent
and
the cognitive agent
is an
agent
of
the process
and
the other process
end
s up at
the other cognitive agent
and
the formula
is an
instance
of
formula
and
the other cognitive agent
know
s
the formula
and
the other cognitive agent
doesn't
desire
the cognitive agent
know
s
the formula
and
the cognitive agent
desire
s
the cognitive agent
know
s
the formula
(=>
(
instance
?R
RTPCRTest
)
(
hasPurpose
?R
(
exists
(?M ?A ?T ?MEAS)
(
and
(
instance
?M
Measuring
)
(
patient
?M ?RNA)
(
instance
?RNA
RNAMolecule
)
(
holdsDuring
?T
(
measure
?RNA ?MEAS))
(
knows
?A
(
holdsDuring
?T
(
measure
?RNA ?MEAS)))))))
Medicine.kif 1575-1587
If
a physical
is an
instance
of
Reverse transcription polymerase chain reaction
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the entity
EAS such that
the entity
is an
instance
of
measuring
and
the physical
NA is a
patient
of
the entity
and
the physical
NA is an
instance
of
RNA molecule
and the
measure
of
the physical
NA is
the entity
EAS holds
during
the third entity
and
the other entity
know
s the
measure
of
the physical
NA is
the entity
EAS holds
during
the third entity
(=>
(
instance
?S
Searching
)
(
exists
(?AGENT ?OBJ ?LOC)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
agent
?S ?AGENT)
(
instance
?OBJ
Physical
)
(
patient
?S ?OBJ)
(
instance
?LOC
Object
)
(
located
?OBJ ?LOC)
(
hasPurposeForAgent
?S
(
knows
?AGENT
(
located
?OBJ ?LOC)) ?AGENT))))
Merge.kif 12970-12982
If
a process
is an
instance
of
searching
,
then there exist
an agent
,
a physical
and
an object
such that
the agent
is an
instance
of
cognitive agent
and
the agent
is an
agent
of
the process
and
the physical
is an
instance
of
physical
and
the physical
is a
patient
of
the process
and
the object
is an
instance
of
object
and
the physical
is
located
at
the object
and
the process
has the purpose
the agent
know
s
the physical
is
located
at
the object
for
the agent
(=>
(
instance
?TA_CTRL
TerminalAttackControl
)
(
hasPurpose
?TA_CTRL
(
exists
(?AGENT ?ATTACK ?LOCATION ?TARGET)
(
and
(
targetInAttack
?ATTACK ?TARGET)
(
patient
?TA_CTRL ?TARGET)
(
agent
?TA_CTRL ?AGENT)
(
result
?TA_CTRL
(
knows
?AGENT
(
located
?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 468-478
If
an entity
_CTRL is an
instance
of
terminal attack control
,
then
the entity
_CTRL has the purpose there exist
another entity
,
a third entity
,, ,
a fourth entity
and
the entity
RGET such that
the entity
RGET is a
target
in attack of
the third entity
and
the entity
RGET is a
patient
of
the entity
_CTRL and
the other entity
is an
agent
of
the entity
_CTRL and
the other entity
know
s
the entity
RGET is
located
at
the fourth entity
is a
result
of
the entity
_CTRL
(=>
(
instance
?TA_CTRL
TerminalGuidance
)
(
hasPurpose
?TA_CTRL
(
exists
(?AGENT ?ATTACK ?LOCATION ?TARGET)
(
and
(
targetInAttack
?ATTACK ?TARGET)
(
patient
?TA_CTRL ?TARGET)
(
agent
?TA_CTRL ?AGENT)
(
result
?TA_CTRL
(
knows
?AGENT
(
located
?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 521-531
If
an entity
_CTRL is an
instance
of
terminal guidance
,
then
the entity
_CTRL has the purpose there exist
another entity
,
a third entity
,, ,
a fourth entity
and
the entity
RGET such that
the entity
RGET is a
target
in attack of
the third entity
and
the entity
RGET is a
patient
of
the entity
_CTRL and
the other entity
is an
agent
of
the entity
_CTRL and
the other entity
know
s
the entity
RGET is
located
at
the fourth entity
is a
result
of
the entity
_CTRL
(=>
(
member
?AGNOSTIC
Agnosticism
)
(
not
(
knows
?AGNOSTIC
(
not
(
exists
(?GOD)
(
equal
?GOD
God
))))))
People.kif 691-697
If
a cognitive agent
is a
member
of
agnosticism
,
then
the cognitive agent
doesn't
know
there doesn't exist
an entity
such that
the entity
is
equal
to
god
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
If
a cognitive agent
trusts
an agent
,
then
the cognitive agent
know
s
the agent
is
capable
of doing
an entity
as a
agent
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
possesses
?AGENT ?SITE)
(
knows
?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185
If
a formula
is
known
about
an agent
who visits
a web site
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
cognitive agent
and
the cognitive agent
possess
es
the web site
and
the cognitive agent
know
s
the formula
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