part
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6122-6140
If
a process
is an
instance
of
sneezing
and
an agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
,
another entity
,, ,
the other entity
OSE and
a fourth entity
such that
the other entity
is an
instance
of
nasal cavity
and
the other entity
OSE is an
instance
of
nose
and
the other entity
OSE is
equal
to the
host
of the hole
the other entity
and
the fourth entity
is an
instance
of
object
and
the entity
is an
instance
of
removing
and
the other entity
OSE is a
part
of
the agent
and the object transferred in
the entity
is
the fourth entity
and
the fourth entity
is
located
at
the other entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?CD
CarbonDioxide
)
(
instance
?CD
Molecule
))
(
exists
(?C ?O1 ?O2)
(
and
(
instance
?C
Carbon
)
(
instance
?O1
Oxygen
)
(
instance
?O2
Oxygen
)
(
instance
?C
Atom
)
(
instance
?O1
Atom
)
(
instance
?O2
Atom
)
(
part
?C ?CD)
(
part
?O1 ?CD)
(
part
?O2 ?CD)
(
not
(
equal
?O1 ?O2)))))
Food.kif 3414-3429
If
an object
is an
instance
of
carbon dioxide
and
the object
is an
instance
of
molecule
,
then there exist
another object
,
a third object
and
a fourth object
such that
the other object
is an
instance
of
carbon
and
the third object
is an
instance
of
oxygen
and
the fourth object
is an
instance
of
oxygen
and
the other object
is an
instance
of
atom
and
the third object
is an
instance
of
atom
and
the fourth object
is an
instance
of
atom
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the fourth object
is a
part
of
the object
and
the third object
is not
equal
to
the fourth object
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12930-12941
If
an object
is an
instance
of
chin
and
another object
is an
instance
of
face
and
the object
is a
part
of
the other object
,
then for all
a third object
if
the third object
is a
part
of
the other object
and
the third object
is not a
part
of
the object
,
then
the third object
is
below
to
the object
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12636-12650
If
a process
is an
instance
of
coloring
and
an object
is a
patient
of
the process
,
then there exist
an entity
and
another object
such that
the other object
is a
part
of
the object
and
the entity
is an
instance
of
color attribute
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
?COMPOUND
OrganicCompound
)
(
instance
?COMPOUND
Molecule
))
(
exists
(?CARBON)
(
and
(
instance
?CARBON
Carbon
)
(
part
?CARBON ?COMPOUND))))
Mid-level-ontology.kif 8563-8570
If
an object
is an
instance
of
organic compound
and
the object
is an
instance
of
molecule
,
then there exists
another object
such that
the other object
is an
instance
of
carbon
and
the other object
is a
part
of
the object
(=>
(
and
(
instance
?COND
Condensing
)
(
patient
?COND ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?COND))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?COND))
(
attribute
?PART
Liquid
)))))
Merge.kif 13979-13987
If
a process
is an
instance
of
condensing
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
gas
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
liquid
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CONN
WirelessNetwork
)
(
instance
?COM
NetworkCommunication
)
(
instrument
?COM ?CONN)
(
path
?COM ?PATH))
(
exists
(?PART)
(
and
(
part
?PART ?PATH)
(
not
(
instance
?PART
Cable
)))))
ComputingBrands.kif 1422-1432
If
an object
is an
instance
of
wireless network
and
a motion
is an
instance
of
network communication
and
the object
is an
instrument
for
the motion
and
another object
is
path
along which
the motion
occurs,
then there exists
a third object
such that
the third object
is a
part
of
the other object
and
the third object
is not an
instance
of
cable
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
If
a process
is an
instance
of
death
and
an agent
is an
instance
of
organism
and
the agent
experience
s
the process
,
then there exist
an entity
and
another entity
such that
the entity
is a
result
of
the process
and
the entity
is an
instance
of
organic object
and
dead
is an
attribute
of
the entity
holds
during
after
the
time
of existence of
the process
and
if
the other entity
is a
part
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
,
then
the other entity
is a
part
of
the agent
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Solid
))
(
not
(
holdsDuring
(
WhenFn
?DEPOSITION)
(
attribute
?PART
Liquid
))))))
Geography.kif 6997-7014
If
a process
is an
instance
of
deposition
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
gas
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
solid
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
and
liquid
is an
attribute
of
the other object
doesn't hold
during
the
time
of existence of
the process
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9986-9994
If
a process
is an
instance
of
edema
in
a kind of body part
and
an agent
experience
s
the process
,
then there exists
a kind of body part
I such that
the kind of body part
I is an
instance
of
body part
and
the kind of body part
I is a
part
of
the agent
and
the process
is
located
at
the kind of body part
I
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9964-9976
If
a process
is an
instance
of
swelling
and
an agent
experience
s
the process
,
then there exist
a motion
,
an object
and
another object
such that
the motion
is an
instance
of
transfer
and
the other object
is an
instance
of
liquid
and
the object
is an
instance
of
body part
and
the object
is a
part
of
the agent
and
the motion
end
s up at
the object
and
the other object
moves during
the motion
and
the motion
is a
subprocess
of
the process
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
If
a collection
is an
instance
of
eyebrow
and
healthy
is an
attribute
of
an object
and
the collection
is a
part
of
the object
and
a physical
is a
member
of
the collection
,
then there exists
the object
AIR such that
the object
AIR is an
instance
of
hair
and
the object
AIR is a
part
of
the collection
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
If
an object
is an
instance
of
eyebrow
and
healthy
is an
attribute
of
another object
and
the object
is a
part
of
the other object
,
then there exists
the object
YE such that
the object
YE is an
instance
of
eye
and
the object
YE is a
part
of
the other object
and
the object
YE is
near
to
the object
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
If
an object
is an
instance
of
eyebrow
and
healthy
is an
attribute
of
another object
and
standing
is an
attribute
of
the other object
holds
during
a time position
and
the object
is a
part
of
the other object
,
then there exists
the object
YE such that
the object
YE is an
instance
of
eye
and
the object
YE is a
part
of
the other object
and
the object
is
above
to
the object
YE
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2930-2948
If
an engineering component
is an
instance
of
governor
and
another engineering component
is an
instance
of
engine
and
the engineering component
is
connected
to
the other engineering component
and the maximum speed allowed by
the other engineering component
is
a real number
miles per hour
(s),
then
the engineering component
has the purpose there don't exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
instance
of
device
and
the other entity
is a
part
of
the other engineering component
and
the entity
is an
instance
of
rotating
and the
measure
of
the other entity
is
the third entity
miles per hour
(s) and
the third entity
is
greater
than
the real number
holds
during
the
time
of existence of
the entity
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
If
a process
is an
instance
of
experiencing a lump in the throat
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
throat
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
If
a process
is an
instance
of
experiencing discomfort in the stomach
and
an agent
experience
s
the process
,
then there exist
another process
,
the other process
AIN and
an object
such that
the other process
is an
instance
of
perception
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the other process
AIN and
the other process
AIN is an
instance
of
pain
and
the agent
experience
s
the other process
AIN and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
If
a process
is an
instance
of
experiencing heat in cheeks or chest
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
torso
or
the object
is an
instance
of
face
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?EM
EyeMotion
)
(
agent
?EM ?A))
(
exists
(?E)
(
and
(
instance
?E
Eyelid
)
(
part
?E ?A)
(
patient
?EM ?E))))
Mid-level-ontology.kif 19943-19951
If
a process
is an
instance
of
eye motion
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
eyelid
and
the object
is a
part
of
the agent
and
the object
is a
patient
of
the process
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13953-13966
If
a process
is an
instance
of
evaporating
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an object
is an
instance
of
a kind of pure substance
and the
measure
of
the object
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of temperature
and
the object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
the real number
is
greater
than
the other real number
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
?EXPRESS
FacialExpression
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?FACE)
(
and
(
part
?FACE ?AGENT)
(
instance
?FACE
Face
)
(
instrument
?EXPRESS ?FACE))))
Mid-level-ontology.kif 13008-13016
If
a process
is an
instance
of
facial expression
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is a
part
of
the agent
and
the object
is an
instance
of
face
and
the object
is an
instrument
for
the process
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?F ?B)))
Mid-level-ontology.kif 12901-12908
If
an object
is an
instance
of
face
and
the object
is a
part
of
a self connected object
and
another self connected object
is
equal
to the
back
of
the self connected object
,
then
the object
is not a
part
of
the other self connected object
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
FrontFn
?P)))
(
part
?F ?B))
Mid-level-ontology.kif 12910-12916
If
an object
is an
instance
of
face
and
the object
is a
part
of
a self connected object
and
another self connected object
is
equal
to the
front
of
the self connected object
,
then
the object
is a
part
of
the other self connected object
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
If
a process
is an
instance
of
folding
and
an object
is a
patient
of
the process
,
then there exist
another process
,
another object
and
a third object
such that
the other process
is an
instance
of
covering
and
the other process
is a
subprocess
of
the process
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the other object
is an
instrument
for
the other process
and
the third object
is a
patient
of
the other process
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
If
an object
is an
instance
of
forehead
and
healthy
is an
attribute
of
another object
and
standing
is an
attribute
of
the other object
holds
during
a time position
and
a third object
is a
part
of
the other object
,
then there exists
the third object
YE such that
the third object
YE is an
instance
of
eye
and
the third object
YE is a
part
of
the other object
and
the object
is
above
to
the third object
YE
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