part
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1895-1917
If
lateral recumbant
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
left arm
and
the third object
is a
part
of
the object
and
a fourth object
is an
instance
of
right arm
and
the fourth object
is a
part
of
the object
and
a fifth object
is an
instance
of
left leg
and
the fifth object
is a
part
of
the object
and
a sixth object
is an
instance
of
right leg
and
the sixth object
is a
part
of
the object
and
the fourth object
meet
s
the other object
or
the sixth object
meet
s
the other object
,
then
the third object
doesn't
meet
the other object
and
the fifth object
doesn't
meet
the other object
holds
during
the time position
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1832-1840
If
prone
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
chest
and
the third object
is a
part
of
the object
,
then
the third object
meet
s
the other object
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
DeadOrMissingBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
not
?F))
Merge.kif 18455-18463
If
dead or missing body part fn
a class
is an
attribute
of
an object
holds
during
a time position
and
the class
I is an
instance
of
the class
and
the class
I is a
part
of
the object
and
the class
I has the purpose
a formula
,
then
the formula
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18434-18444
If
impaired body part fn
a class
is an
attribute
of
an object
holds
during
a time position
and
the class
I is an
instance
of
the class
and
the class
I is a
part
of
the object
and
the class
I has the purpose
a formula
,
then the statement
the formula
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2551-2567
If the
measure
of
an object
is
a function quantity
holds
during
a time position
and the idle speed of
an internal combustion engine
is
the function quantity
and
another object
is an
instance
of
automobile
and
the internal combustion engine
is a
part
of
the other object
and
the object
is a
part
of
the internal combustion engine
,
then the statement there don't exist
an entity
and
another entity
such that
the entity
takes place
during
the time position
and
the entity
is an
instance
of
pushing
and
the entity
end
s up at
the other entity
and
the other entity
is a
part
of
the other object
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4310-4316
If
an entity
possess
es
an object
holds
during
a time position
and
another object
is a
part
of
the object
,
then
the entity
possess
es
the other object
holds
during
the time position
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 10063-10069
If
a hole
is a
hole
in
a self connected object
and
the self connected object
is a
part
of
another self connected object
,
then
the hole
and
the other self connected object
overlapsSpatially
or
the hole
is a
hole
in
the other self connected object
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6255-6264
If
an object
is an
instance
of
body area
a kind of body part
and
another object
is an
instance
of
animal
and
the object
is a
part
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
a kind of body part
and
the object
is
near
to
the third object
and
the third object
is a
part
of
the other object
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4172-4177
If
an object
is an
instance
of
Aegilops grass
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1322-1333
If
an object
is an
instance
of
americano
and
a substance
is a
part
of
the object
and
another substance
is a
part
of
the object
and
the substance
is an
instance
of
espresso
and
the other substance
is an
instance
of
potable water
and the
measure
of
the other substance
is 90.0
celsius degree
(s) and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
,
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.15
(=>
(
and
(
instance
?A
Animal
)
(
instance
?S
AnimalShell
)
(
part
?S ?A))
(
or
(
instance
?A
Invertebrate
)
(
instance
?A
Reptile
)))
Mid-level-ontology.kif 12856-12863
If
an object
is an
instance
of
animal
and
another object
is an
instance
of
animal shell
and
the other object
is a
part
of
the object
,
then
the object
is an
instance
of
invertebrate
or
the object
is an
instance
of
reptile
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 11162-11184
If
an object
is an
instance
of
antacid
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
another object
is an
instance
of
stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
pH measure
the third object
and
a real number
and
pH measure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2764-2778
If
an object
is an
instance
of
antigen COVID test
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
measuring
and
another object
is a
patient
of
the process
and
a third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
,
then the statement
the other object
know
s there exists
the third object
such that
the third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
has the
modal
force
of
likely
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1776-1787
If
an object
is an
instance
of
armor
and
the object
is a
part
of
another object
or
the object
meet
s
the other object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
maintaining
and
the object
is an
instrument
for
the entity
and
the other object
experience
s
the entity
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1789-1801
If
an object
is an
instance
of
armor
and
the object
is a
part
of
another object
or
the object
meet
s
the other object
,
then
the object
has the purpose there doesn't exist
an entity
such that
the entity
is an
instance
of
damaging
and
the object
is an
instrument
for
the entity
and
the other object
experience
s
the entity
(=>
(
and
(
instance
?A
AstronomicalBody
)
(
approximateDiameter
?A
(
MeasureFn
?D ?U))
(
instance
?U
UnitOfLength
)
(
instance
?P
PointInSpace
)
(
part
?P ?A))
(
exists
(?C)
(
and
(
equal
?C
(
CenterOfPlanetFn
?A))
(
distance
?C ?P
(
MeasureFn
(
DivisionFn
?D 2.0) ?U)))))
Mid-level-ontology.kif 27444-27458
If
a self connected object
is an
instance
of
astronomical body
and the
approximate
diameter
of
the self connected object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
and
an object
is an
instance
of
point in space
and
the object
is a
part
of
the self connected object
,
then there exists
a point in space
such that
equal
the point in space
and the centre of
AstronomicalBody
the self connected object
is and the
distance
between
the point in space
and
the object
is
the real number
and 2.0
the unit of measure
(s)
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1000-1011
If
a process
is an
instance
of
local anesthetizing
and
the process
is
located
at
an object
and
the object
is an
instance
of
body part
and
the object
is a
part
of
another object
and
the other object
is a
patient
of
the process
,
then
pain
in the
the object
is not an
attribute
of
the other object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 11223-11245
If
an object
is an
instance
of
PPI
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
another object
is an
instance
of
stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
pH measure
the third object
and
a real number
and
pH measure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
If
a physical system
is an
instance
of
automobile
and
another physical system
is an
instance
of
automobile
and
an object
is an
instance
of
shock
and
the object
is a
part
of
the physical system
and there doesn't exist
another object
such that
the other object
is an
instance
of
shock
and
the other object
is a
part
of
the other physical system
and the damping ratio of
the physical system
is
a real number
and the damping ratio of
the other physical system
is
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Exoskeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Invertebrate
))
Mid-level-ontology.kif 13000-13005
If
an object
is an
instance
of
animal
and
another object
is an
instance
of
exoskeleton
and
the other object
is a
part
of
the object
,
then
the object
is an
instance
of
invertebrate
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Skeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Vertebrate
))
Mid-level-ontology.kif 12980-12985
If
an object
is an
instance
of
animal
and
another object
is an
instance
of
skeleton
and
the other object
is a
part
of
the object
,
then
the object
is an
instance
of
vertebrate
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AIR
Gas
))
Weather.kif 69-73
If
an object
is an
instance
of
air stream
and
another object
is a
part
of
the object
,
then
gas
is an
attribute
of
the other object
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 694-699
If
an object
is an
instance
of
automatic application
and
another object
is an
instance
of
software system
and
the object
is a
part
of
the other object
,
then the
startup
of
the object
is a
part
of the
startup
of
the other object
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 14173-14179
If
an object
is an
instance
of
breast
and
a self connected object
is an
instance
of
human
and
the object
is a
part
of
the self connected object
,
then
the object
is a
part
of the
front
of
the self connected object
(=>
(
and
(
instance
?B
Breast
)
(
part
?B ?H))
(
attribute
?B
Female
))
Mid-level-ontology.kif 14184-14188
If
an object
is an
instance
of
breast
and
the object
is a
part
of
another object
,
then
female
is an
attribute
of
the 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
