destination
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
If
a process
is an
instance
of
four stroke intake
and
an object
is an
instance
of
EngineCylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
2
,
then there exist
the process
V and
another process
such that
the other process
is an
instance
of
gas motion
and
the process
V is an
instance
of
fuel vapor
and
the other process
is a
subprocess
of
the process
and
the other process
end
s up at
the hole
and
the process
V is a
patient
of
the other process
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
If
an object
is an
instance
of
fuel pump
and
another object
is an
instance
of
automobile
and
the object
is a
part
of
the other object
and
a process
is an
instance
of
transportation
and
another process
is an
instance
of
fuel
and
the other process
is a
patient
of
the process
and
the object
is an
instrument
for
the other process
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
gas tank
and
the entity
is a
part
of
the other object
and
the other entity
is an
instance
of
EngineCylinder
and
the other entity
is a
part
of
the other object
and
the process
originate
s at
the entity
and
the process
end
s up at
the other entity
(=>
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT))
(
destination
?GET ?AGENT))
Merge.kif 11614-11618
If
a process
is an
instance
of
getting
and
an agent
is an
agent
of
the process
,
then
the process
end
s up at
the agent
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 24425-24446
If
a TelecomNumber
is an
instance
of
hotline
and
the TelecomNumber
is the
telephone
number
of
an agent
and
the agent
is an
instance
of
organization
,
then
the TelecomNumber
has the purpose there exists
an entity
such that
the entity
is an
instance
of
telephoning
and
the entity
end
s up at
the agent
and the statement there exists
another entity
such that
the other entity
is an
instance
of
communication
and
the TelecomNumber
is an
instrument
for
the other entity
and the
beginning
of the
time
of existence of
the other entity
is
equal
to the
beginning
of immediately
after
the
time
of existence of
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 10867-10884
If
a physical
is an
instance
of
myocardial infarction
and
an object
is an
instance
of
heart
and
the physical
is
located
at
the object
,
then there exists
another object
such that
the other object
is an
instance
of
muscle
and
the other object
is a
part
of
the object
and there don't exist
a time interval
and
a third object
such that
the time interval
is an
instance
of
liquid motion
and the object transferred in
the time interval
is
the third object
and
the third object
is an
instance
of
blood
and
the time interval
takes place
during
the
time
of existence of
the physical
and
the time interval
end
s up at
the other object
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11396-11413
If
a physical
is an
instance
of
stroke
and
an object
is an
instance
of
brain
and
the physical
is
located
at
the object
,
then there exists
another object
such that
the other object
is an
instance
of
nerve cell
and
the other object
is a
part
of
the object
and there don't exist
a time interval
and
a third object
such that
the time interval
is an
instance
of
liquid motion
and the object transferred in
the time interval
is
the third object
and
the third object
is an
instance
of
blood
and
the time interval
takes place
during
the
time
of existence of
the physical
and
the time interval
end
s up at
the other object
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 16769-16785
If
a process
is an
instance
of
immigrating
and
an agent
is an
agent
of
the process
,
then there exist
a geopolitical area
and
another geopolitical area
such that
the geopolitical area
is an
instance
of
nation
and
the other geopolitical area
is an
instance
of
nation
and
the process
originate
s at
the geopolitical area
and
the process
end
s up at
the other geopolitical area
and
the geopolitical area
is not
equal
to
the other geopolitical area
and
the agent
is a
member
of the
citizenry
of
the geopolitical area
and
the agent
is not a
member
of the
citizenry
of
the other geopolitical area
and
the process
has the purpose
the agent
live
s in
the other geopolitical area
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10519-10531
If
a process
is an
instance
of
hiring
and
a cognitive agent
is an
instance
of
organization
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the cognitive agent
expects
there exists
another entity
such that
the other entity
is an
instance
of
financial transaction
and
the cognitive agent
is an
agent
of
the other entity
and
the other entity
end
s up at
the entity
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other entity
will be true
(=>
(
and
(
instance
?OCCUPATION
SkilledOccupation
)
(
attribute
?PERSON ?OCCUPATION))
(
exists
(?TRAINING)
(
and
(
instance
?TRAINING
EducationalProcess
)
(
destination
?TRAINING ?PERSON))))
Mid-level-ontology.kif 7867-7874
If
an attribute
is an
instance
of
skilled occupation
and
the attribute
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
educational process
and
the process
end
s up at
the object
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GeneralMerchandiseStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7702-7716
If
a collection
is an
instance
of
organization
and
general merchandise stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
and
another entity
such that
the agent
is an
instance
of
selling
and
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
object
and
the agent
end
s up at
the other entity
and
the entity
is a
patient
of
the agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
If
a collection
is an
instance
of
organization
and
nonstore retailers
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
and
another entity
such that
the agent
is an
instance
of
selling
and
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
object
and not
the agent
is
located
at
2
and
the agent
end
s up at
the other entity
and
the entity
is a
patient
of
the agent
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 410-414
If
a process
is an
instance
of
bank card payment
and
the process
end
s up at
an object
,
then
the object
is
capable
of doing
bank card payment
as a
destination
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 564-581
If
a process
is an
instance
of
food pickup
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
food
for
human
and there exist
an object
,
another process
and
a third process
such that
the agent
is
located
at
the object
and
the other process
is an
instance
of
translocation
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the third process
is an
instance
of
getting
and
the third process
originate
s at
the agent
and
the third process
end
s up at
the other agent
and
the entity
is a
patient
of
the third process
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 15981-15995
If
an object
is an
instance
of
passport
and
an agent
possess
es
the object
,
then
the object
confers
norm there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
translocation
and
the agent
is an
agent
of
the entity
and
the entity
originate
s at
the other entity
and
the entity
end
s up at
the third entity
and
the other entity
is an
instance
of
nation
and
the third entity
is an
instance
of
nation
and
the other entity
is not
equal
to
the third entity
for
permission
(=>
(
and
(
instance
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1500-1508
If
a process
is an
instance
of
sweating
and
an agent
experience
s
the process
,
then there exists
an object
such that
the object
is an
instance
of
hand
and
the object
is a
part
of
the agent
and
the process
end
s up at
the object
(=>
(
and
(
instance
?P
PerspiringWholeBody
)
(
experiencer
?P ?A))
(
not
(
exists
(?B)
(
and
(
instance
?B
BodyPart
)
(
part
?B ?A)
(
not
(
destination
?P ?B))))))
emotion.kif 1513-1523
If
a process
is an
instance
of
perspiring (whole body)
and
an agent
experience
s
the process
,
then there doesn't exist
an object
such that
the object
is an
instance
of
body part
and
the object
is a
part
of
the agent
and
the process
doesn't
end
up at
the object
(=>
(
and
(
instance
?PAGE
SearchResultsPage
)
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?CLICK
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?ELEMENT)
(
destination
?CLICK ?LINKEDPAGE)
(
instance
?ELEMENT
HypertextLink
)
(
component
?ELEMENT ?PAGE)
(
or
(
instance
?LINKEDPAGE
ProductDescriptionPage
)
(
instance
?LINKEDPAGE
ViewItemPage
)))))
(
ListLengthFn
?RESULTS))
(
SRPEngagementFn
?PAGE)))
UXExperimentalTerms.kif 3928-3946
If
a search results page
is an
instance
of
search results page
and
a list
is an
instance
of
search results
and
the list
is a
component
of
the search results page
,
then the number of
instances
in the
class
described by
a symbolic string
and
length
of
the list
is
equal
to
qualifying
clicks
on
the search results page
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)) ?AGENT))
TransportDetail.kif 49-59
If
a physical
is an
instance
of
disabled parking
and
an agent
is an
instance
of
human
and
an attribute
is an
attribute
of
the agent
and
the attribute
is an
instance
of
disability
,
then
the physical
has the purpose
the physical
plays
role in event
destination
for
an entity
and
another entity
plays
role in event
patient
for
the entity
and
the other entity
is an
instance
of
transportation device
for
the agent
(=>
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?DEVICE
ElectricDevice
)
(
instance
?OUTLET
ElectricalOutlet
)
(
connectedEngineeringComponents
?DEVICE ?PLUG)
(
completelyFills
?PLUG ?OUTLET)
(
instance
?POWER
PowerSource
)
(
connectedEngineeringComponents
?POWER ?OUTLET))
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?POWER)
(
destination
?RE ?DEVICE))))
Mid-level-ontology.kif 25314-25327
If
an engineering component
is an
instance
of
electrical plug
and
another engineering component
is an
instance
of
electric device
and
a third engineering component
is an
instance
of
electrical outlet
and
the other engineering component
is
connected
to
the engineering component
and
the engineering component
completely
fill
s
the third engineering component
and
a fourth engineering component
is an
instance
of
power source
and
the fourth engineering component
is
connected
to
the third engineering component
,
then there exists
a process
such that
the process
is an
instance
of
radiating electromagnetic
and
the process
originate
s at
the fourth engineering component
and
the process
end
s up at
the other engineering component
(=>
(
and
(
instance
?REPAYMENT
Repayment
)
(
instance
?REPAYMENT_DESTINATION
Object
)
(
destination
?REPAYMENT ?REPAYMENT_DESTINATION)
(
instance
?REPAYMENT_ORIGIN
Object
)
(
origin
?REPAYMENT ?REPAYMENT_ORIGIN))
(
exists
(?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(
and
(
instance
?PAYMENT
Payment
)
(
instance
?PAYMENT_ORIGIN
Object
)
(
instance
?PAYMENT_DESTINATION
Object
)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
destination
?PAYMENT ?PAYMENT_DESTINATION)
(
origin
?PAYMENT ?PAYMENT_ORIGIN)
(
equal
?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(
equal
?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 2092-2109
If
a process
is an
instance
of
repayment
and
the process
_DESTINATION is an
instance
of
object
and
the process
end
s up at
the process
_DESTINATION and
the process
_ORIGIN is an
instance
of
object
and
the process
originate
s at
the process
_ORIGIN,
then there exist
another process
,
the other process
_ORIGIN and
the other process
_DESTINATION such that
the other process
is an
instance
of
payment
and
the other process
_ORIGIN is an
instance
of
object
and
the other process
_DESTINATION is an
instance
of
object
and
the other process
is not
equal
to
the process
and
the other process
end
s up at
the other process
_DESTINATION and
the other process
originate
s at
the other process
_ORIGIN and
the other process
_ORIGIN is
equal
to
the process
_DESTINATION and
the other process
_DESTINATION is
equal
to
the process
_ORIGIN
(=>
(
and
(
instance
?RETURN
GivingBack
)
(
agent
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?GIVE)
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?DEST)
(
destination
?GIVE ?AGENT)
(
earlier
(
WhenFn
?GIVE)
(
WhenFn
?RETURN)))))
Merge.kif 11596-11606
If
a process
is an
instance
of
giving back
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
,
then there exists
another process
such that
the other process
is an
instance
of
giving
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?S
SeizingProperty
)
(
destination
?S ?A)
(
origin
?S ?V)
(
instance
?V
CognitiveAgent
))
(
and
(
instance
?A
Government
)
(
not
(
confersNorm
?V
(
destination
?S ?A)
Permission
))))
Mid-level-ontology.kif 18052-18063
If
a process
is an
instance
of
seizing property
and
the process
end
s up at
an entity
and
the process
originate
s at
an object
and
the object
is an
instance
of
cognitive agent
,
then
the entity
is an
instance
of
government
and
the object
doesn't
confers
norm
the process
end
s up at
the entity
for
permission
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6256-6268
If
a transfer
is an
instance
of
swallowing
and
an agent
is an
agent
of
the transfer
,
then there exist
an object
,
another object
,, ,
the transfer
T and
a third object
such that
the object
is an
instance
of
mouth
and
the other object
is an
instance
of
esophagus
and
the transfer
T is an
instance
of
stomach
and the object transferred in
the transfer
is
the third object
and
the transfer
originate
s at
the object
and
the transfer
end
s up at
the transfer
T and
the other object
is
path
along which
the transfer
occurs
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 17915-17928
If
a process
is an
instance
of
sharing
and
an agent
is an
agent
of
the process
and
the process
end
s up at
an entity
and
another entity
is a
patient
of
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
giving
and
the other process
is a
subprocess
of
the process
and
the object
is a
patient
of
the other process
and
the object
is a
proper
part
of
the other entity
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13364-13378
If
a process
is an
instance
of
radiating sound
and
an agent
is an
agent
of
the process
and
audible
is an
attribute
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
human
and
the object
is
capable
of doing the
class
described by
a symbolic string
as a
agent
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
