hasPurpose
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
If
a process
is an
instance
of
commercial service
and
a cognitive agent
is an
agent
of
the process
and
an agent
employ
s
the cognitive agent
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
financial transaction
and
the other entity
end
s up at
the agent
and
the other entity
originate
s at
the entity
(=>
(
and
(
instance
?T
Tailpipe
)
(
instance
?TR
Transfer
)
(
instance
?E
Exhaust
)
(
instance
?A
Automobile
)
(
instance
?AES
AutomobileExhaustSystem
)
(
part
?T ?A)
(
path
?TR ?T)
(
patient
?TR ?E))
(
hasPurpose
?T
(
not
(
exists
(?O)
(
and
(
part
?O ?A)
(
beforeOnPath
?T ?O ?AES ?TR))))))
Cars.kif 4054-4069
If
an object
is an
instance
of
tailpipe
and
the object
R is an
instance
of
transfer
and
an entity
is an
instance
of
exhaust
and
another object
is an
instance
of
automobile
and
the other object
ES is an
instance
of
exhaust system
and
the object
is a
part
of
the other object
and
the object
is
path
along which
the object
R occurs and
the entity
is a
patient
of
the object
R,
then
the object
has the purpose there doesn't exist
a third entity
such that
the third entity
is a
part
of
the other object
and
the object
before
the third entity
on path
the other object
ES during
the object
R
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
If
a process
is an
instance
of
transportation
and
an object
is an
instance
of
wheel
and
another object
is an
instance
of
automobile
and
the object
is a
part
of
the other object
and
the other object
is an
instrument
for
the process
and
the other object
B is an
instance
of
antilock brake
and
another process
is an
instance
of
decelerating
and
the other object
B is an
instrument
for
the other process
and
the other object
B is a
part
of
the object
,
then
the other object
B has the purpose there exists
an entity
such that
the entity
is an
instance
of
rotating
and
the entity
takes place
during
the other process
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
If
an object
is an
instance
of
vented chest seal
and
a transfer
is an
instance
of
attaching
and the object transferred in
the transfer
is
the object
and
the transfer
end
s up at
an entity
,
then
the object
has the purpose there exist
the transfer
,
another entity
,, ,
a third entity
and
the entity
such that
the transfer
is an
instance
of
air
and
the other entity
is an
instance
of
lung
and
the third entity
is an
instance
of
chest
and
the other entity
is a
part
of
the entity
and
the third entity
is a
part
of
the entity
and
the transfer
is
between
the other entity
and
the third entity
holds
during
immediately
before
the
time
of existence of
the transfer
and
the object
has the purpose
the transfer
is
outside
to
the entity
holds
during
immediately
after
the
time
of existence of
the transfer
(=>
(
and
(
instance
?WEAPON
HighPrecisionWeapon
)
(
instrument
?DESTR ?WEAPON)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?WEAPON
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 641-654
If
an object
is an
instance
of
high precision weapon
and
the object
is an
instrument
for
a process
and
an entity
is a
patient
of
the process
,
then
the object
has the purpose there don't exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
damaging
and
the other entity
is a
subprocess
of
the process
and
the third entity
is a
patient
of
the other entity
and
the entity
is not
equal
to
the third entity
(=>
(
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 3718-3759
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 26445-26463
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
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1696-1704
If
a physical
is an
instance
of
hotel function room
and
the physical
is an
element
of
belongings
of
an agent
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
renting
and
the physical
is a
patient
of
the entity
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
If
an object
is an
instance
of
nursery
and
the object
is an
element
of
belongings
of
an agent
and
traveler accommodation
is an
attribute
of
the agent
,
then there exist
a cognitive agent
and
an entity
such that
communal
is an
attribute
of
the object
and
the agent
employ
s
the cognitive agent
and
the cognitive agent
has the purpose
the entity
is an
instance
of
child-care service
and
the cognitive agent
provides a service during
the entity
(=>
(
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 3539-3560
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
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
If
a physical
is an
instance
of
surveillance system
and
the physical
is a
member
of
a collection
and
the physical
is a
member
of
another collection
and
the collection
is
located
at
an object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
another object
and
the object
is not
equal
to
the other object
and
the other collection
is an
instance
of
video display
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
the object
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
If
an agent
offers
items for sale in
a meal plan
and
the meal plan
is an
instance
of
meal plan
and
meals
of type
a relational attribute
are includes in
the meal plan
and
traveler accommodation
is an
attribute
of
the agent
and
a cognitive agent
is a
guest
at
the agent
and
the cognitive agent
buys
the meal plan
from
the agent
,
then there exists
an entity
such that there exists
another entity
such that
the relational attribute
is an
attribute
of
the other entity
and
the other entity
has the purpose there exists
a third entity
such that
the third entity
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
holds
during
the entity
holds
during
the
time
of existence of
the cognitive agent
is a
guest
at
the agent
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
If
suppliesBlood
a kind of artery
and
a kind of body part
and
a physical
is an
instance
of
a kind of artery
and
an entity
is an
instance
of
a kind of body part
,
then
the physical
has the purpose there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
liquid motion
and the object transferred in
the other entity
is
the third entity
and
the third entity
is an
instance
of
blood
and
the other entity
end
s up at
the entity
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
If
a kind of vaccine
is a
vaccine
for
a kind of virus
and
a transfer
is an
instance
of
vaccination
and
an agent
experience
s
the transfer
and
a kind of vaccine
I is an
instance
of
the kind of vaccine
and the object transferred in
the transfer
is
the kind of vaccine
I,
then
the kind of vaccine
I has the purpose there don't exist
an entity
and
a kind of virus
I such that
the entity
is an
instance
of
infecting
and
the agent
experience
s
the entity
and
the kind of virus
I is an
instance
of
the kind of virus
and the object transferred in
the entity
is
the kind of virus
I
(=>
(
attribute
?A
SecurityOfficer
)
(
hasPurpose
?A
(
exists
(?LE)
(
and
(
instance
?LE
LawEnforcement
)
(
agent
?LE ?A)))))
MilitaryPersons.kif 754-760
If
intelligence officer
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
law enforcement
and
the object
is an
agent
of
the entity
(=>
(
attribute
?FEED
Fodder
)
(
hasPurpose
?FEED
(
exists
(?ANIMAL ?EAT)
(
and
(
instance
?ANIMAL
DomesticAnimal
)
(
instance
?EAT
Eating
)
(
agent
?EAT ?ANIMAL)
(
patient
?EAT ?FEED)))))
Mid-level-ontology.kif 20051-20059
If
fodder
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
domestic animal
and
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the object
is a
patient
of
the other entity
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21088-21100
If
art critic
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
art work
and the
time
of existence of
the object
overlap
s the
time
of existence of
the entity
and
the other entity
is an
instance
of
the third entity
and
the third entity
is a
subclass
of
article
and
the object
is the
author
of
the third entity
and
the other entity
includes a
reference
to
the entity
(=>
(
attribute
?H
IntelligenceOfficer
)
(
hasPurpose
?H
(
exists
(?I)
(
and
(
instance
?I
IntelligenceActivities
)
(
agent
?I ?H)))))
MilitaryPersons.kif 771-777
If
IntelligenceOfficer
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
intelligence activities
and
the object
is an
agent
of
the entity
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21065-21079
If
news reporter
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and the
time
of existence of
the object
overlap
s the
time
of existence of
the entity
and
the other entity
is an
instance
of
the third entity
and
the third entity
is a
subclass
of
newspaper
or
the third entity
is a
subclass
of
newsprogram
and
the object
is the
author
of
the third entity
and
the other entity
includes a
reference
to
the entity
(=>
(
attribute
?H
Valet
)
(
hasPurpose
?H
(
and
(
instance
?VEHICLE
Vehicle
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?PARK)
(
instance
?PARK
ParkingRegion
)
(
patient
?PUT ?VEHICLE)
(
agent
?PUT ?H))))
TransportDetail.kif 132-141
If
valet
is an
attribute
of
an object
,
then
the object
has the purpose
an entity
is an
instance
of
vehicle
and
another entity
is an
instance
of
putting
and
the other entity
end
s up at
a third entity
and
the third entity
is an
instance
of
parking area
and
the entity
is a
patient
of
the other entity
and
the object
is an
agent
of
the other entity
(=>
(
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 29462-29473
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
SEAL
)
(
hasPurpose
?P
(
exists
(?S)
(
and
(
instance
?S
SpecialOperation
)
(
agent
?S ?P)))))
MilitaryPersons.kif 796-802
If
United States Navy Sea, Air, and Land Team member
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
special operation
and
the object
is an
agent
of
the entity
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
If
open layout
is an
attribute
of
an object
,
then
the object
is an
instance
of
room
and there exist
another object
,
a third object
and
a fourth object
such that
the other object
is an
instance
of
region
and
the third object
is an
instance
of
region
and
the other object
is
located
at
the object
and
the third object
is
located
at
the object
and
the other object
is not
equal
to
the third object
and
the other object
is
adjacent
to
the third object
and there exist
a formula
and
another formula
such that
the formula
is an
instance
of
process
and
the other formula
is an
instance
of
process
and
the other object
has the purpose
the formula
and
the third object
has the purpose
the other formula
and
if
the fourth object
is an
instance
of
agent
and
the fourth object
is
located
at
the third object
,
then
the fourth object
is
capable
of doing
seeing
as a
agent
and
the other object
is
capable
of doing
seeing
as a
patient
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
If
expeditionary force
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the object
is a part of the organization the
government
of
the other entity
and
the entity
is an
instance
of
battle
and
the object
is an
agent
of
the entity
and
the third entity
is an
instance
of
nation
and
the entity
is
located
at
the third entity
and
the other entity
is not
equal
to
the third entity
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2353-2372
If
arts and recreation tickets
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the object
is an
agent
of
the entity
and
the other entity
is an
instance
of
ticket
and
the entity
end
s up at
the third entity
and
the other entity
has the purpose
the object
allow
s
the third entity
to perform task of the type there exist
a fourth entity
and
a fifth entity
such that
the fourth entity
is an
instance
of
seeing
and
the third entity
is an
agent
of
the fourth entity
and
the fifth entity
is a
patient
of
the fourth entity
and
the fifth entity
is an
instance
of
performance
or
the fifth entity
is an
instance
of
sport
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