patient
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Proposition
))
(
exists
(?TRANS ?PROC)
(
and
(
agent
?TRANS ?CUST)
(
realization
?PROC ?ITEM)
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?PROC)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29974-29984
If
a cognitive agent
buys
a proposition
from
an agent
and
the proposition
is an
instance
of
proposition
,
then there exist
a process
and
another process
such that
the cognitive agent
is an
agent
of
the process
and
the other process
express
es the content of
the proposition
and
the process
is an
instance
of
buying
and
the other process
is a
patient
of
the process
and
the process
originate
s at
the agent
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
If
an organization
is
capable
of doing
valet parking
as a
agent
and
the organization
is a
customer
of
a cognitive agent
and
the organization
is
located
at
an object
and
a process
is an
instance
of
arriving
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
the object
,
then there exists
a human
such that
the human
holds the
position
of
valet
in
the organization
and the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
valet parking
and
the human
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
the third entity
and
the third entity
is an
instance
of
parking area
has the
modal
force
of
possibility
(=>
(
and
(
cardCode
?Code ?Card)
(
cardAccount
?Card ?Account))
(
exists
(?Encoding)
(
and
(
instance
?Encoding
Encoding
)
(
patient
?Encoding ?Account))))
FinancialOntology.kif 3504-3511
If
a bank card
is a
card
code of
a content bearing object
and
a financial account
is a
card
account of
the bank card
,
then there exists
a process
such that
the process
is an
instance
of
encoding
and
the financial account
is a
patient
of
the process
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
If one must
check
out
before
a time point
at
a cognitive agent
and
another cognitive agent
is a
guest
at
the cognitive agent
,
then
the cognitive agent
expects
there exist
an entity
and
another entity
such that
the entity
is an
instance
of
the time point
and
the other cognitive agent
is a
patient
of
the other entity
and
the other entity
is an
instance
of
check-out service
and
the cognitive agent
is an
agent
of
the other entity
and the
beginning
of the
time
of existence of
the other entity
happens
before
the entity
will be true
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
object
and
an entity
is an
instance
of
the kind of physical
,
then
the agent
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
process
and
the entity
is a
resource
for
the other entity
or
the entity
is an
instrument
for
the other entity
or
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
or
the cognitive agent
experience
s
the other entity
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
element
of
belongings
of
the agent
and
the agent
is an
agent
of
the entity
and
the cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
the third entity
is an
instance
of
the kind of physical
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
If
a real number
micrograms per kilogram
(s) is
equal
to the
per
of
a mass measure
and
another mass measure
and
the mass measure
is
equal
to
another real number
one
millionth
of a
gram
(s) and
the other mass measure
is
equal
to
a third real number
1
thousand
gram
s(s),
then there exist
a process
,
a self connected object
and
another self connected object
such that
the process
is an
instance
of
ingesting
and
the self connected object
is an
instance
of
biologically active substance
and
the other self connected object
is an
instance
of
organism
and
the self connected object
is a
patient
of
the process
and
the other self connected object
is an
agent
of
the process
and
the mass measure
is a
weight
of
the self connected object
and
the other mass measure
is a
weight
of
the other self connected object
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
If
a song
is
equal
to the
song
comprising
a musical composition
and
a lyrical content
and
the song
express
es the content of
a process
,
then there exist
another process
and
a third process
such that
the musical composition
is a
patient
of
the other process
and
the lyrical content
is a
patient
of
the third process
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
If use of
a kind of physical
is free for
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
another entity
and
a kind of physical
is a
subclass
of
object
,
then the statement there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
the kind of physical
and
the fourth entity
is an
instance
of
process
and
the third entity
is a
resource
for
the fourth entity
or
the third entity
is an
instrument
for
the fourth entity
or
the third entity
is a
patient
of
the fourth entity
and
the other entity
is an
agent
of
the fourth entity
or
the other entity
experience
s
the fourth entity
has the
modal
force
of
possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
If
a human
is a
guest
at
an agent
and
the human
stays
at
a temporary residence
and
the temporary residence
is an
element
of
belongings
of
the agent
and
the temporary residence
is an
instance
of
the temporary residence
OOM and
a kind of physical
is an
amenity
in
the temporary residence
OOM and
a kind of physical
is a
subclass
of
object
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the temporary residence
and
the agent
allow
s
the human
to perform task of the type there exists
an entity
such that
the human
is an
agent
of
the entity
and
the other physical
is an
instrument
for
the entity
or
the other physical
is a
patient
of
the entity
or
the other physical
is a
resource
for
the entity
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
If
a cognitive agent
has
account
an user account
and
the user account
has
password
a computer password
and
device account
the user account
and
a computer
and
the cognitive agent
doesn't
know
the user account
has
password
the computer password
and
the cognitive agent
know
s the account
the user account
has
recovery
key
an entity
and
the cognitive agent
possess
es
the computer
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
change password
and
the user account
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
If
expellee
is an
attribute
of
an entity
and
the entity
is a
citizen
of
another entity
-NATION holds
during
a time position
and
the time position
is an
instance
of
time interval
,
then there exist
a process
and
an object
such that
the object
is an
instance
of
nation
and
the object
is not
equal
to
the other entity
-NATION and
the process
is an
instance
of
translocation
and
the process
originate
s at
the object
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other entity
-NATION and
the time position
is a
part
of the
time
of existence of
the process
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
If
an entity
is the
spouse
of
another entity
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exists
a process
such that
the process
is an
instance
of
wedding
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
If
a process
is an
instance
of
surgery
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
cutting
and
the entity
is an
instance
of
animal
and
the entity
is a
patient
of
the other process
and
the other process
is a
subprocess
of
the process
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
If
a process
is an
instance
of
air photographic reconnaissance
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
photographing
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
If
a process
is an
instance
of
armed reconnaissance
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the cognitive agent
and
the entity
are enemies of each other holds
during
the
time
of existence of
the process
,
then
the process
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
attack
and
the cognitive agent
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
holds the
position
of
leader
in the
government
of
the geopolitical area
,
then there exists
a process
such that
the process
is an
instance
of
guiding
and
the geopolitical area
is a
patient
of
the process
and
the human
is an
agent
of
the process
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
If
an object
is an
instance
of
art school
and
a process
is an
instance
of
educational process
and
the process
is
located
at
the object
,
then there exist
another process
and
an entity
such that
the other process
is an
instance
of
making
and
the entity
is a
patient
of
the other process
and
the entity
is an
instance
of
art work
and
the process
includes a
reference
to
the other process
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
If
a process
is an
instance
of
add to cart
and
a cognitive agent
is an
instance
of
agent
and
an entity
is an
instance
of
object
and
the cognitive agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
buying
and
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
If
a process
is an
instance
of
attack
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
damaging
and
the entity
is a
patient
of
the other entity
for
the agent
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 16200-16212
If
an entity
is an
instance
of
legal award
and
the entity
includes a
reference
to
a process
and
the process
is an
instance
of
legal action
and
a cognitive agent
is an
agent
of
the process
,
then
the entity
allow
s
the cognitive agent
to perform task of the type there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
getting
and
the cognitive agent
experience
s
the other entity
and
the third entity
is a
patient
of
the other entity
and
value
of
the third entity
is
the fourth entity
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
If
a financial account
is an
instance
of
financial account
and
the financial account
is
held
by
a financial organization
,
then there exists
a process
such that
the process
is an
instance
of
controlling an account
and
the financial account
is a
patient
of
the process
and
the financial organization
is an
agent
of
the process
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
If
a process
is an
instance
of
bleeding
and
an agent
experience
s
the process
,
then there exist
an object
and
another process
such that
the object
is an
instance
of
vein
or
the object
is an
instance
of
artery
and
the object
is a
part
of
the agent
and
the other process
is an
instance
of
damaging
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and
the object
is a
patient
of
the other process
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
If
a food
is an
instance
of
object
and
a real number
is the temperature at which
the food
is roasted to,
then there exists
a process
such that
the process
is an
instance
of
heating
and
the food
is a
patient
of
the process
and the
measure
of
the food
is
the real number
celsius degree
(s) holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
If
an object
is an
instance
of
vehicle brake
and
another object
is an
instance
of
vehicle
and
the object
is a
part
of
the other object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of the
stop
of
motion
and
the other object
is a
patient
of
the entity
and
the object
is an
instrument
for
the entity
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