patient
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSCREEN)
(
instance
?TOUCHSCREEN
ComputerTouchscreen
))
(
instance
?ACT
ScreenTouchAction
))
ComputerInput.kif 1594-1599
If
a process
is an
instance
of
user direct action
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
computer touchscreen
,
then
the process
is an
instance
of
screen touch action
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?ACT
TouchSurfaceAction
))
ComputerInput.kif 1545-1550
If
a process
is an
instance
of
user direct action
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
touch sensitive computer input device
,
then
the process
is an
instance
of
touch surface action
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
If
a process
is an
instance
of
shape change
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is an
instance
of
shape attribute
and
the other entity
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is not an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
or
the other entity
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
If
a process
is an
instance
of
surface change
and
an object
is a
patient
of
the process
,
then there exist
another object
and
an entity
such that
the other object
is a
superficial
part of
the object
and
the entity
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
or
the entity
is not an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence 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
?ARTERY
Artery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
origin
?TRANSFER ?HEART))))
Mid-level-ontology.kif 11108-11118
If
an object
is an
instance
of
artery
and
a process
is an
instance
of
transfer
and
an entity
is a
patient
of
the process
and
the object
is an
instrument
for
the process
and
the entity
is an
instance
of
blood
,
then there exists
another object
such that
the other object
is an
instance
of
heart
and
the process
originate
s at
the other object
(=>
(
and
(
instance
?ARTERY
PulmonaryArtery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?LUNG)
(
and
(
instance
?LUNG
Lung
)
(
destination
?TRANSFER ?LUNG))))
Mid-level-ontology.kif 11141-11151
If
an object
is an
instance
of
pulmonary artery
and
a process
is an
instance
of
transfer
and
an entity
is a
patient
of
the process
and
the object
is an
instrument
for
the process
and
the entity
is an
instance
of
blood
,
then there exists
another entity
such that
the other entity
is an
instance
of
lung
and
the process
end
s up at
the other entity
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
If
a self connected object
is an
instance
of
shock
and
a process
is an
instance
of
compressing
and
a hole
is an
instance
of
hole
and
fluid
is an
attribute
of
an object
and
the self connected object
is
equal
to the
host
of the hole
the hole
and
the self connected object
contain
s
the object
and
the self connected object
is a
patient
of
the process
,
then there exists
a transfer
such that
the transfer
is an
instance
of
transfer
and the object transferred in
the transfer
is
the object
and
the hole
is
path
along which
the transfer
occurs and
the process
cause
s
the transfer
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
If
a process
is an
instance
of
anti surface operation
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then
the other entity
is an
instance
of
water area
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
If
a time interval
is an
instance
of
add to cart
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the time interval
and
an agent
is an
agent
of
the time interval
,
then there exist
a collection
,
a web site
,, ,
a time position
and
another time interval
such that
the collection
is an
instance
of
collection
and
the web site
is an
instance
of
web site
and
the other time interval
is an
instance
of
time interval
and user
the agent
at
the web site
has
cart
the collection
and the
beginning
of
the other time interval
is
equal
to the
end
of
the time interval
and
the entity
is a
member
of
the collection
holds
during
the time position
(=>
(
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
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
If
a process
is an
instance
of
attaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
,
then
the entity
is not
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
?ATTACK
BiochemicalAttack
)
(
patient
?ATTACK ?OBJ))
(
instance
?OBJ
Organism
))
WMD.kif 64-68
If
a process
is an
instance
of
biochemical attack
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
organism
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
If
a process
is an
instance
of
auctioning
and
an agent
is an
instance
of
agent
and
another agent
is an
instance
of
agent
and
an object
is an
instance
of
object
and
an unit of measure
is an
instance
of
unit of currency
and
the object
is a
patient
of
the process
and
the agent
bids
a real number
the unit of measure
(s) for
the object
and
the other agent
bids
another real number
the unit of measure
(s) for
the object
and
the real number
is
greater
than
the other real number
,
then
the process
end
s up at
the agent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))
(
exists
(?BIDDER ?OFFER)
(
and
(
instance
?BIDDER
AutonomousAgent
)
(
instance
?OFFER
CurrencyMeasure
)
(
bidPrice
?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 343-352
If
a process
is an
instance
of
auctioning
and
an object
is an
instance
of
object
and
the object
is a
patient
of
the process
,
then there exist
an agent
and
a currency measure
such that
the agent
is an
instance
of
agent
and
the currency measure
is an
instance
of
currency measure
and
the agent
bids
the currency measure
for
the object
(=>
(
and
(
instance
?B
Baptizing
)
(
patient
?B ?H))
(
instance
?H
Human
))
Mid-level-ontology.kif 7997-8001
If
a process
is an
instance
of
baptizing
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
human
(=>
(
and
(
instance
?B
Bathing
)
(
patient
?B ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 8862-8866
If
a process
is an
instance
of
bathing
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
animal
(=>
(
and
(
instance
?B
Biopsy
)
(
patient
?B ?BS))
(
instance
?BS
BodySubstance
))
Mid-level-ontology.kif 24089-24093
If
a process
is an
instance
of
biopsy
and
the process
S is a
patient
of
the process
,
then
the process
S is an
instance
of
body substance
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22018-22025
If
an object
is an
instance
of
blade
and
a process
is an
instance
of
cutting
and
another object
is an
instance
of
object
and
the object
is an
instrument
for
the process
and
the other object
is a
patient
of
the process
,
then
the object
meet
s
the other object
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17386-17397
If
a process
is an
instance
of
boarding
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then not
the agent
is
onboard
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is
onboard
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?B
Boarding
)
(
patient
?B ?V))
(
instance
?V
Vehicle
))
Mid-level-ontology.kif 17380-17384
If
a process
is an
instance
of
boarding
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
vehicle
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
If
a process
is an
instance
of
braking
and
an entity
is a
patient
of
the process
,
then
a real number
miles per hour
(s) is
equal
to the accelleration
another entity
of
the entity
in
a third entity
in the direction
a fourth entity
holds
during
immediately
before
the
time
of existence of
the process
and
another real number
miles per hour
(s) is
equal
to the accelleration
the other entity
of
the entity
in
the third entity
in the direction
the fourth entity
holds
during
immediately
after
the
time
of existence of
the process
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
If
a process
is an
instance
of
buying
and
an entity
is a
patient
of
the process
and
the process
originate
s at
a cognitive agent
and the
price
of
another kind of entity
from
the cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
another kind of entity
and
the other kind of entity
is a
subclass
of
physical
and
the entity
is an
immediate
instance of
the other kind of entity
and
a kind of payment
is a
valid
payment
under
the pricing scheme
,
then the statement there exists
a kind of payment
MENT such that
the kind of payment
MENT is an
instance
of
the kind of payment
and
the kind of payment
MENT is a
subprocess
of
the process
has the
modal
force
of
likely
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