patient
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
If
a process
is an
instance
of
borrowing
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
lending
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?BP
BrakePad
)
(
instance
?BR
BrakeRotor
)
(
instance
?R
Rotating
)
(
patient
?R ?BR)
(
instance
?F
Friction
)
(
resource
?F ?BP)
(
patient
?F ?BR))
(
not
(
patient
?R ?BP)))
Cars.kif 617-627
If
an object
is an
instance
of
brake pad
and
an entity
is an
instance
of
brake rotor
and
a process
is an
instance
of
rotating
and
the entity
is a
patient
of
the process
and
another process
is an
instance
of
friction
and
the object
is a
resource
for
the other process
and
the entity
is a
patient
of
the other process
,
then
the object
is not a
patient
of
the process
(=>
(
and
(
instance
?BS
BrakeShoe
)
(
instance
?BD
BrakeDrum
)
(
instance
?R
Rotating
)
(
patient
?R ?BD)
(
instance
?F
Friction
)
(
resource
?F ?BS)
(
patient
?F ?BD))
(
not
(
patient
?R ?BS)))
Cars.kif 639-649
If
an object
is an
instance
of
brake shoe
and
an entity
is an
instance
of
brake drum
and
a process
is an
instance
of
rotating
and
the entity
is a
patient
of
the process
and
another process
is an
instance
of
friction
and
the object
is a
resource
for
the other process
and
the entity
is a
patient
of
the other process
,
then
the object
is not a
patient
of
the process
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
If
a process
is an
instance
of
buying
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
selling
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 8387-8400
If
an agent
is an
instance
of
cavalry unit
and
a time interval
is an
instance
of
battle
and
the agent
is an
agent
of
the time interval
,
then there exist
another agent
,
an entity
and
another time interval
such that
soldier
is an
attribute
of
the other agent
and
the other agent
is a
member
of
the agent
and
the other time interval
is an
instance
of
transportation
and
the other agent
is an
agent
of
the other time interval
and
the entity
is an
instance
of
vehicle
and
the entity
is a
patient
of
the other time interval
and
the other time interval
takes place
during
the time interval
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1838-1856
If
an object
is an
instance
of
clutch
and
another object
is an
instance
of
automobile
and
a third object
is an
instance
of
engine
and
a fourth object
is an
instance
of
gearbox
and
the fourth object
EAR is an
instance
of
gear
and
the fourth object
EAR is a
part
of
the fourth object
and
the fourth object
is a
part
of
the other object
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
a process
is an
instance
of
motion
and
the third object
is a
patient
of
the process
and
device off
is an
attribute
of
the object
,
then there exists
the process
2 such that
the process
2 is an
instance
of
motion
and
the fourth object
is a
patient
of
the process
2 and
the process
cause
s
the process
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1817-1836
If
an object
is an
instance
of
clutch
and
another object
is an
instance
of
automobile
and
a third object
is an
instance
of
engine
and
a fourth object
is an
instance
of
gearbox
and
the fourth object
EAR is an
instance
of
gear
and
the fourth object
EAR is a
part
of
the fourth object
and
the fourth object
is a
part
of
the other object
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
a process
is an
instance
of
motion
and
the third object
is a
patient
of
the process
and
device on
is an
attribute
of
the object
,
then there doesn't exist
the process
2 such that
the process
2 is an
instance
of
motion
and
the fourth object
is a
patient
of
the process
2 and
the process
cause
s
the process
2
(=>
(
and
(
instance
?C
Concealing
)
(
patient
?C ?OBJ))
(
hasPurpose
?C
(
not
(
exists
(?S)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?OBJ))))))
Mid-level-ontology.kif 5489-5498
If
a process
is an
instance
of
concealing
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there doesn't exist
another entity
such that
the other entity
is an
instance
of
seeing
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22348-22356
If
a collection
is an
instance
of
convoy
and
a physical
is a
member
of
the collection
,
then there exists
a process
such that
the process
is an
instance
of
driving
and the
time
of existence of
the collection
overlap
s the
time
of existence of
the process
and
the physical
is a
patient
of
the process
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
If
an object
is an
instance
of
crankshaft
and
another object
is an
instance
of
intermittent combustion engine
and
the other object
is a
part
of
the object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
explosion
and
the other entity
is an
instance
of
rotating
and
the object
is a
patient
of
the other entity
and
the other entity
is
located
at
the other object
and
the entity
cause
s
the other entity
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
If
a process
is an
instance
of
cricothyrotomy
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 impairment in
breathing
and
the entity
is a
patient
of
the other entity
holds
during
immediately
before
the
time
of existence of
the process
and there exists
the other entity
such that
the other entity
is an
instance
of impairment in
breathing
and
the entity
is a
patient
of
the other entity
doesn't hold
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
If
a process
is an
instance
of
crushing
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
object
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
breaking
and
the process
cause
s
the other process
and
the other process
is a
subprocess
of
the third process
and
the third process
is an
instance
of
shape change
and
the entity
is a
patient
of
the other process
and
the entity
is a
patient
of
the third process
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
If
a process
is an
instance
of
crushing
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
object
,
then there exists
another process
such that
the other process
is a
result
of
the process
and
the other process
is an
instance
of
shape change
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
If
a process
is an
instance
of
curdling
and
a substance
is a
patient
of
the process
and
the substance
is an
instance
of
colloid
,
then there exist
another process
and
another substance
such that
the other process
is an
instance
of
separating
and
the other process
is a
subprocess
of
the process
and
the substance
is a
patient
of
the other process
and
the other substance
is a
result
of
the other process
and
the other substance
is a
piece
of
the substance
and
the other substance
is an
instance
of
substance
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
If
a process
is an
instance
of
curdling milk
and
a physical
is an
instance
of
milk
and
the physical
is a
patient
of
the process
,
then there exist
a real number
,
another process
,, ,
an entity
and
another entity
such that the
measure
of
the physical
is
the real number
PH value
(s) and
the other process
is an
instance
of
decreasing
and
the other process
is a
subprocess
of
the process
and
the real number
is a
patient
of
the other process
and
the real number
is
equal
to
the entity
holds
during
the
beginning
of the
time
of existence of
the other process
and
the real number
is
equal
to
the other entity
holds
during
the
end
of the
time
of existence of
the other process
(=>
(
and
(
instance
?C
CuringFood
)
(
instance
?F
Food
)
(
patient
?C ?F))
(
exists
(?D)
(
and
(
instance
?D
Drying
)
(
subProcess
?D ?C)
(
patient
?D ?F))))
Food.kif 96-105
If
a process
is an
instance
of
curing food
and
an entity
is an
instance
of
food
and
the entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
drying
and
the other process
is a
subprocess
of
the process
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
If
an organization
is an
instance
of
government cabinet
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
stating
and
the organization
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and the
government
of
the geopolitical area
is a
leader
of
the other entity
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
financial transaction
,
then there exist
a symbolic string
and
an entity
such that the number of
instances
in the
class
described by
the symbolic string
is
equal
to number of items
purchased
in
the collection
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
,
then the number of
instances
in there exist
an entity
,
another entity
and
a third entity
such that the
class
described by
the entity
and the number of
instances
in
the collection
is
equal
to number of
bids
in
the collection
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
,
then there exist
a symbolic string
,
an entity
,, ,
another entity
and
the symbolic string
such that the number of
instances
in the
class
described by
the symbolic string
is
equal
to number of
bids
in
the collection
(=>
(
and
(
instance
?COMMENTING
Commenting
)
(
instance
?PROCESS
Process
)
(
patient
?COMMENTING ?PROCESS))
(
exists
(?AGENT ?SPEAKING ?LOOKING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SPEAKING
Speaking
)
(
instance
?LOOKING
Looking
)
(
agent
?SPEAKING ?AGENT)
(
agent
?LOOKING ?AGENT)
(
patient
?LOOKING ?PROCESS)
(
refers
?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 15887-15900
If
a process
is an
instance
of
commenting
and
an entity
is an
instance
of
process
and
the entity
is a
patient
of
the process
,
then there exist
an agent
,
another process
and
a third process
such that
the agent
is an
instance
of
agent
and
the other process
is an
instance
of
speaking
and
the third process
is an
instance
of
looking
and
the agent
is an
agent
of
the other process
and
the agent
is an
agent
of
the third process
and
the entity
is a
patient
of
the third process
and
the other process
includes a
reference
to
the entity
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12212-12217
If
a process
is an
instance
of
confining
and
a cognitive agent
is a
patient
of
the process
and
the cognitive agent
is an
instance
of
human
,
then
the cognitive agent
doesn't
desire
the cognitive agent
is a
patient
of
the process
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
If
a bank card
is an
instance
of
debit card
and
an agent
possess
es
the bank card
and
a process
is an
instance
of
financial transaction
and
the bank card
is an
instrument
for
the process
,
then there exist
a symbolic string
and
another process
such that
the bank card
is a
pin
of
the symbolic string
and
the other process
is an
instance
of
entering a PIN
and
the symbolic string
is a
patient
of
the other process
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
If
an entity
is an
instance
of
check
and
a process
is an
instance
of
processingA check
and
the entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
depositingA check
and
the entity
is a
patient
of
the other process
and
the other process
exists
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?Check
VerifyingCardCode
)
(
patient
?Check ?Code)
(
cardCode
?Code ?Card))
(
exists
(?Decode)
(
and
(
instance
?Decode
Decoding
)
(
subProcess
?Decode ?Check)
(
patient
?Decode ?Code))))
FinancialOntology.kif 3572-3581
If
a process
is an
instance
of
verifying card code
and
a content bearing object
is a
patient
of
the process
and
a bank card
is a
card
code of
the content bearing object
,
then there exists
another process
such that
the other process
is an
instance
of
decoding
and
the other process
is a
subprocess
of
the process
and
the content bearing object
is a
patient
of
the other 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