part
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
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 2567-2583
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 4257-4263
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 9903-9909
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 6237-6246
If
an object
is an
instance
of
BodyAreaFn
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 3840-3845
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 1321-1332
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 11531-11538
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 9839-9861
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 2763-2777
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 1619-1630
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 1632-1644
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
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
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 9900-9922
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 11675-11680
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 11655-11660
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
?AR
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
a third object
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
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 12848-12854
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 12859-12863
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
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
If
an object
is an
instance
of
brine
and the
measure
of
the object
is 1.0
liter
(s) and
another object
is a
part
of
the object
and
the other object
is an
instance
of
salt
and the
measure
of
the other object
is
a real number
gram
(s),
then
the real number
is
greater
than 35.0 and
the real number
is
less
than or equal to 260.0
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
If
an object
is an
instance
of
vehicle brake
and
another object
is an
instance
of
vehicle
and
the object
is a
part
of
the other object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of the
stop
of
motion
and
the other object
is a
patient
of
the entity
and
the object
is an
instrument
for
the entity
(=>
(
and
(
instance
?BODY
ReproductiveBody
)
(
part
?BODY ?ORG)
(
instance
?ORG
Organism
))
(
attribute
?ORG
Female
))
Merge.kif 18117-18122
If
an object
is an
instance
of
reproductive body
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
organism
,
then
female
is an
attribute
of
the other object
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
If
an object
is an
instance
of
brake pedal
and
a process
is an
instance
of
pushing
and
another object
is an
instance
of
vehicle
and
the process
end
s up at
the object
and
the process
is
located
at
the other object
and
the object
is a
part
of
the other object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
wearing friction surface
and
the other entity
is an
instance
of
friction
and
the entity
is an
instrument
for
the other entity
and
the process
cause
s
the other entity
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