patient
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17454-17466
If
a process
is an
instance
of
deboarding
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
is
onboard
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and not
the agent
is
onboard
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?B
Deboarding
)
(
patient
?B ?VEHICLE))
(
instance
?VEHICLE
Vehicle
))
Mid-level-ontology.kif 17448-17452
If
a process
is an
instance
of
deboarding
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
vehicle
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13979-13987
If
a process
is an
instance
of
boiling
and
an object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
liquid
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
gas
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13877-13885
If
a process
is an
instance
of
boiling
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and
the entity
is a
patient
of
the process
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
the
time
of existence of
the process
and
the unit of measure
is an
instance
of
unit of temperature
,
then
the other real number
is
greater
than or equal to
the real number
(=>
(
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 11777-11788
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 11951-11962
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
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
If
a collection
is an
instance
of
collection
and
a real number
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
the real number
is
equal
to the
value
of
the collection
and
the integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
,
then the
average
price
of
the collection
is
equal
to
the real number
and
the integer
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
If
a financial account
is an
instance
of
secured bond
and
a collateral
is a
secured
by of
the financial account
and
an agent
possess
es
the financial account
and
a process
is an
instance
of
financial default
and
the financial account
is a
patient
of
the process
,
then
the agent
possess
es
the collateral
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
If
a process
is an
instance
of
catering
and
an agent
is an
agent
of
the process
and
the process
end
s up at
the process
UST and
the agent
is
located
at
an object
and
the agent
is a
customer
of
the process
UST and there exist
another process
,
an entity
and
a third process
such that
the other process
is an
instance
of
cooking
and
the agent
is an
agent
of
the other process
and
the entity
is a
result
of
the other process
and
the entity
is a
patient
of
the process
and
the third process
is an
instance
of
eating
and
the process
UST is an
agent
of
the third process
and
the third process
is
located
at
another object
,
then
the object
is not
equal
to
the other object
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23825-23836
If
a process
is an
instance
of
causing happiness
and
an entity
is a
patient
of
the process
,
then
happiness
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
happiness
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23846-23857
If
a process
is an
instance
of
causing unhappiness
and
an entity
is a
patient
of
the process
,
then
unhappiness
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
unhappiness
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
If
a process
is an
instance
of
checking vitals
and
a cognitive agent
is an
agent
of
the process
and
an object
is a
patient
of
the process
and
a heart
is an
instance
of
heart
and
the heart
is a
part
of
the object
and
a lung
is an
instance
of
lung
and
the lung
is a
part
of
the object
and the
systolic
blood pressure of
the object
is
an entity
and the
diastolic
blood pressure of
the object
is
another entity
and the
measure
of
the object
is
a third entity
fahrenheit degree
(s) holds
during
the
time
of existence of
the process
and
the heart
beats
at a rate of
an integer
beats per the
time
of existence of
the process
and
the lung
breathes
at a rate of
another integer
breaths per the
time
of existence of
the process
,
then
the cognitive agent
know
s the
systolic
blood pressure of
the object
is
the entity
and the
diastolic
blood pressure of
the object
is
the other entity
and the
measure
of
the object
is
the third entity
fahrenheit degree
(s) holds
during
the
time
of existence of
the process
and
the heart
beats
at a rate of
the integer
beats per the
time
of existence of
the process
and
the lung
breathes
at a rate of
the other integer
breaths per the
time
of existence of
the process
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
If
a process
is an
instance
of
churning butter
and
an entity
is an
instance
of
emulsion
and
the entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the entity
is
equal
to
the other entity
and
the other entity
is an
instance
of
milk
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
equal
to
the third entity
and
the third entity
is an
instance
of
butter
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 1821-1839
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 1800-1819
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 5483-5492
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
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Merge.kif 15963-15970
If
a process
is an
instance
of
covering
and
an entity
is a
patient
of
the process
and
an object
is an
instrument
for
the process
,
then
the object
covers
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
If
a process
is an
instance
of
cricothyrotomy
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is an
instance
of
hole
and
a third entity
is
equal
to the
host
of the hole
the other entity
and
the third entity
is an
instance
of
throat
and
the third entity
is a
part
of
the entity
holds
during
the
end
of 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
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