part
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
If
an object
is an
instance
of
skimmed milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than or equal to 0.0 and
the real number
and
the real number
2 is
less
than or equal to 0.005 and
the real number
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2945-2962
If
an object
is an
instance
of
two percent milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
the real number
2 is
equal
to 0.02 and
the real number
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
If
an object
is an
instance
of
whole milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than or equal to 0.0325 and
the real number
and
the real number
2 is
less
than or equal to 0.05 and
the real number
(=>
(
and
(
instance
?MELT
Melting
)
(
patient
?MELT ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?MELT))
(
attribute
?PART
Solid
))
(
holdsDuring
(
EndFn
(
WhenFn
?MELT))
(
attribute
?PART
Liquid
)))))
Merge.kif 13912-13920
If
a process
is an
instance
of
melting
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
solid
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
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
If
an object
is an
instance
of
another kind of object
and
another kind of object
is a
subclass
of
cell nucleus
and every
the other kind of object
is
initially
part
of a
eukaryotic cell
,
then there exists
a third object
such that
the third object
is an
instance
of
chromotin
and
the third object
is a
part
of
the object
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
If
a self connected object
is an
instance
of
object
and
convex round shape
is an
attribute
of
the self connected object
and
another self connected object
is a
surface
of
the self connected object
and
the other self connected object
is an
instance
of
two dimensional object
,
then for all
a geometric point
the geometric point
is a
part
of
the self connected object
and
geometric point
is an
attribute
of
the geometric point
and
the geometric point
is a
vertex
of
the self connected object
and
the geometric point
meet
s
the self connected object
and
the geometric point
meet
s
the other self connected object
and there exists
an one dimensional figure
such that a
tangent
of
the other self connected object
is
the one dimensional figure
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
If
an object
is an
instance
of
object
and
the object
is
partly
located in
another object
,
then there exists
a third object
such that
the third object
is a
part
of
the object
and
the third object
is
located
at
the other object
(=>
(
and
(
instance
?OEW
OpeningEyesWidely
)
(
agent
?OEW ?A))
(
exists
(?EL)
(
and
(
instance
?EL
Eyelid
)
(
part
?EL ?A)
(
patient
?OEW ?EL))))
emotion.kif 1668-1676
If
a process
is an
instance
of
opening eyes widely
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
?ORG
Organization
)
(
attribute
?ORG
MotorVehicleAndPartsDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
TransportationDevice
)
(
exists
(?DEV)
(
and
(
part
?THING ?DEV)
(
instance
?DEV
TransportationDevice
)))
(
patient
?EV ?THING)))))))
naics.kif 7023-7040
If
a collection
is an
instance
of
organization
and
motor vehicle and parts dealers
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 exists
an object
such that
the agent
is an
instance
of
selling
and
the object
is an
instance
of
transportation device
or there exists
another object
such that
the object
is a
part
of
the other object
and
the other object
is an
instance
of
transportation device
or
the object
is a
patient
of
the agent
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
part
?HEART ?H)
(
located
?P ?HEART))))
Medicine.kif 2072-2080
If
a process
is an
instance
of
palpitations
and
an agent
experience
s
the process
,
then there exists
the agent
EART such that
the agent
EART is an
instance
of
heart
and
the agent
EART is a
part
of
the agent
and
the process
is
located
at
the agent
EART
(=>
(
and
(
instance
?P
Peeling
)
(
patient
?P ?O))
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
part
?O ?S))))
Mid-level-ontology.kif 11821-11828
If
a process
is an
instance
of
peeling
and
an object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is an
instance
of
skin
and
the object
is a
part
of
the other object
(=>
(
and
(
instance
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
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 1505-1515
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
?P
Punching
)
(
agent
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
attribute
?H
Fist
)
(
part
?H ?A)
(
instrument
?P ?H))))
Mid-level-ontology.kif 6622-6631
If
a process
is an
instance
of
punching
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
hand
and
fist
is an
attribute
of
the object
and
the object
is a
part
of
the agent
and
the object
is an
instrument
for
the process
(=>
(
and
(
instance
?PAGE
ViewItemPage
)
(
instance
?ADVERTISING
WebListing
)
(
component
?ADVERTISING ?PAGE)
(
patient
?ADVERTISING ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?ITEM)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2078-2091
If
a corpuscular object
is an
instance
of
next generation view item
and
a process
is an
instance
of
web listing
and
the process
is a
component
of
the corpuscular object
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
physical
,
then there exist
another process
,
a third process
and
the other process
CONTENT such that
the third process
is an
instance
of
stating
and
the other process
is a
patient
of
the third process
and
the other process
includes a
reference
to
the entity
and
the other process
CONTENT is a
result
of
the other process
and
the other process
CONTENT is a
part
of
the corpuscular object
(=>
(
and
(
instance
?PATH
PathologicProcess
)
(
experiencer
?PATH ?ORG))
(
exists
(?PART ?DISEASE)
(
and
(
part
?PART ?ORG)
(
instance
?DISEASE
DiseaseOrSyndrome
)
(
attribute
?PART ?DISEASE))))
Merge.kif 10394-10402
If
a process
is an
instance
of
pathologic process
and
an agent
experience
s
the process
,
then there exist
an object
and
an attribute
such that
the object
is a
part
of
the agent
and
the attribute
is an
instance
of
disease or syndrome
and
the attribute
is an
attribute
of
the object
(=>
(
and
(
instance
?PLT
PressingLipsTogether
)
(
agent
?PLT ?A))
(
exists
(?L ?BM)
(
and
(
instance
?L
Lip
)
(
part
?L ?A)
(
instance
?BM
BodyMotion
)
(
patient
?BM ?L)
(
agent
?BM ?A))))
emotion.kif 1202-1212
If
a process
is an
instance
of
pressing lips together
and
an agent
is an
agent
of
the process
,
then there exist
an object
and
another process
such that
the object
is an
instance
of
lip
and
the object
is a
part
of
the agent
and
the other process
is an
instance
of
body motion
and
the object
is a
patient
of
the other process
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?PROC
TherapeuticProcess
)
(
patient
?PROC ?BIO))
(
or
(
instance
?BIO
Organism
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
part
?BIO ?ORG)))))
Merge.kif 12244-12253
If
a process
is an
instance
of
therapeutic process
and
an object
is a
patient
of
the process
,
then
the object
is an
instance
of
organism
or there exists
another object
such that
the other object
is an
instance
of
organism
and
the object
is a
part
of
the other object
(=>
(
and
(
instance
?PROCESS
StateChange
)
(
patient
?PROCESS ?OBJ))
(
exists
(?PART ?STATE1 ?STATE2)
(
and
(
part
?PART ?OBJ)
(
instance
?STATE1
PhysicalState
)
(
instance
?STATE2
PhysicalState
)
(
not
(
equal
?STATE1 ?STATE2))
(
holdsDuring
(
BeginFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE2)))))
Merge.kif 13756-13767
If
a process
is an
instance
of
state change
and
an object
is a
patient
of
the process
,
then there exist
another object
,
an entity
and
another entity
such that
the other object
is a
part
of
the object
and
the entity
is an
instance
of
physical state
and
the other entity
is an
instance
of
physical state
and
the entity
is not
equal
to
the other entity
and
the entity
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
If
a kind of body part
is an
instance
of
cervical vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
cervical vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
If
a kind of body part
is an
instance
of
costae spuriae
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there doesn't exist
another kind of body part
such that
another kind of body part
is an
instance
of
sternum
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
If
a kind of body part
is an
instance
of
lumbar vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
lumbar vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
If
a kind of body part
is an
instance
of
thoracic vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
thoracic vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
If
a kind of body part
is an
instance
of
costae verae
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
sternum
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
and
(
instance
?RAPIDS
Rapids
)
(
bottom
?BOTTOM ?RAPIDS))
(
exists
(?ROCK)
(
and
(
instance
?ROCK
Rock
)
(
part
?ROCK ?BOTTOM))))
Geography.kif 5646-5653
If
a self connected object
is an
instance
of
rapids
and the
bottom
of
the self connected object
is
another self connected object
,
then there exists
an object
such that
the object
is an
instance
of
rock
and
the object
is a
part
of
the other self connected object
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