measure
(=>
(
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
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
If
an object
is an
instance
of
coffee arabica
and the
measure
of
the object
is
a real number
gram
(s) and
the object
C is an
instance
of
caffeine
and
the object
C is a
part
of
the object
and the
measure
of
the object
C is
another real number
gram
(s) and
a third real number
is
equal
to
the other real number
and
the real number
,
then
the third real number
is
greater
than or equal to 0.008 and
the third real number
is
less
than or equal to 0.014
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
If
an object
is an
instance
of
coffee robusta
and the
measure
of
the object
is
a real number
gram
(s) and
the object
C is an
instance
of
caffeine
and
the object
C is a
part
of
the object
and the
measure
of
the object
C is
another real number
gram
(s) and
a third real number
is
equal
to
the other real number
and
the real number
,
then
the third real number
is
greater
than or equal to 0.017 and
the third real number
is
less
than or equal to 0.04
(=>
(
and
(
instance
?C
Cream
)
(
part
?C ?O1)
(
instance
?O1
ButterFat
)
(
measure
?O1
(
MeasureFn
?X
Gram
))
(
instance
?M
Milk
)
(
part
?M ?O2)
(
instance
?O2
ButterFat
)
(
measure
?O2
(
MeasureFn
?Y
Gram
)))
(
greaterThan
?X ?Y))
Food.kif 3124-3136
If
an object
is an
instance
of
cream
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
butter fat
and the
measure
of
the other object
is
a real number
gram
(s) and
a third object
is an
instance
of
milk
and
the third object
is a
part
of
a fourth object
and
the fourth object
is an
instance
of
butter fat
and the
measure
of
the fourth object
is
another real number
gram
(s),
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
If
an object
is an
instance
of
flat white
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
milk foam
and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
and
a self connected object
is a
part
of
the other substance
and
the self connected object
is a
part
of
the substance
and the
top
of
the other substance
is
the self connected object
and
the self connected object
is an
instance
of
bubble
and the
measure
of
the self connected object
is
a third real number
millimeter
(s),
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.15 and
the third real number
is
greater
than or equal to 1.0 and
the third real number
is
less
than or equal to 20.0
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
If
an object
is an
instance
of
latte
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
milk foam
and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
and
a self connected object
is a
part
of
the other substance
and
the self connected object
is an
instance
of
bubble
and the
top
of
the other substance
is
the self connected object
and the
measure
of
the self connected object
is
a third real number
millimeter
(s),
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.21 and the approximate value of
the third real number
is 12.0
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10054-10077
If
an object
is an
instance
of
antidiuretic
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
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
the time interval
is not
equal
to
the other time interval
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the real number
is
greater
than
the other real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10024-10045
If
an object
is an
instance
of
diuretic
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
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
If
a process
is an
instance
of
deposition
and
an entity
is a
patient
of
the process
and the
measure
of
the entity
is
a real number
joule
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
measure
of
the entity
is
another real number
joule
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2817-2836
If
an object
is an
instance
of
internal combustion engine
and
another object
is an
instance
of
combustion chamber
and
the other object
is a
part
of
the object
and
an entity
is an
instance
of
fuel
and
another entity
is an
instance
of
unit of volume
and
the other object
contain
s
the entity
and the
measure
of
the entity
is
a third entity
the other entity
(s) and
engine flooded
is an
attribute
of
the object
holds
during
a time position
,
then
the other object
has the purpose there don't exist
the entity
2 and
a fifth entity
such that
the entity
2 is an
instance
of
fuel
and
the other object
contain
s
the entity
2 and the
measure
of
the entity
2 is
the fifth entity
the other entity
(s) and
the fifth entity
is
greater
than or equal to
the third entity
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
If
an entity
is an
instance
of
engine choke
and
device on
is an
attribute
of
the entity
holds
during
a process
and
device off
is an
attribute
of
the entity
holds
during
another process
and
a self connected object
is an
instance
of
engine cylinder
and
a constant quantity
is a
capacity
of
the self connected object
and
the process
is an
instance
of
four stroke compression
and
the other process
is an
instance
of
four stroke compression
and
the process
is
located
at
the self connected object
and
the other process
is
located
at
the self connected object
and
an object
is an
instance
of
air
and
another object
is an
instance
of
fuel
and
the object
is a
part
of
the constant quantity
IX1 and
the other object
is a
part
of
the constant quantity
IX1 and the
measure
of
the constant quantity
IX1 is
the constant quantity
and
a fourth object
is an
instance
of
air
and
a fifth object
is an
instance
of
fuel
and
the fourth object
is a
part
of
the constant quantity
IX2 and
the fifth object
is a
part
of
the constant quantity
IX2 and the
measure
of
the constant quantity
IX2 is
the constant quantity
and
an unit of measure
is an
instance
of
unit of measure
and the
measure
of
the object
is
the object
M
the unit of measure
(s) and the
measure
of
the fourth object
is
the fourth object
M
the unit of measure
(s) and the
measure
of
the other object
is
the other object
M
the unit of measure
(s) and the
measure
of
the fifth object
is
the fifth object
M
the unit of measure
(s),
then
the fourth object
M and
the fifth object
M is
greater
than
the object
M and
the other object
M
(=>
(
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 13975-13988
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
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?H
Heating
)
(
subProcess
?H ?FM)
(
measure
?M
(
MeasureFn
?T
CelsiusDegree
)))
(
approximateValue
?T 70.0))
Food.kif 1207-1216
If
a process
is an
instance
of
foaming milk
and
a physical
is a
patient
of
the process
and
the physical
is an
instance
of
processed milk
and
another process
is an
instance
of
heating
and
the other process
is a
subprocess
of
the process
and the
measure
of
the physical
is
a real number
celsius degree
(s),
then the approximate value of
the real number
is 70.0
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2992-2998
If
an entity
is an
instance
of
grease
and the
measure
of
the entity
is 77
fahrenheit degree
(s) holds
during
a time position
,
then
solid
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
If
an object
is an
instance
of
human
and
another object
is an
instance
of
rectum
and
the other object
is a
part
of
the object
and
coreBodyTemp
the object
and
a real number
an entity
(s) and the
measure
of
the other object
is
the real number
2
the entity
(s) holds
during
a time position
,
then the approximate value of
the real number
is
the real number
2
(=>
(
and
(
instance
?H
HumanAdult
)
(
measure
?H
(
MeasureFn
?N
Pounds
)))
(
and
(
bloodVolume
?H
(
MeasureFn
?N2
Liter
))
(
equal
?N2
(
DivisionFn
(
MultiplicationFn
?N 0.07) 2.33))))
Medicine.kif 5915-5924
If
a human
is an
instance
of
human adult
and the
measure
of
the human
is
a real number
Pounds
(s),
then
the human
has
the real number
2
liter
(s) of blood and
the real number
2 is
equal
to
the real number
and 0.07 and 2.33
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
If
a process
is an
instance
of
Graves' disease
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
If
a process
is an
instance
of
Hashimoto's thyroiditis
and
an agent
experience
s
the process
and
the agent
is an
instance
of
human
and
an object
is an
instance
of
thyroid hormone
and
the object
is a
part
of
the agent
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
human
and
a third object
is an
instance
of
thyroid hormone
and
the third object
is a
part
of
the other object
and the
measure
of
the third object
is
another real number
the unit of measure
(s) and
healthy
is an
attribute
of
the other object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3163-3173
If
an object
is an
instance
of
ignition coil
and
a process
is an
instance
of
electric transmission
and
another object
is a
resource
for
the process
and
the other object
is an
instance
of
electricity
and
an entity
is an
instance
of
electricity
and
the entity
is a
result
of
the process
and
the object
is an
instrument
for
the process
and the
measure
of
the other object
is
a real number
volt
(s),
then the approximate value of
the real number
is 12
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8984-8988
If
a physical
is an
instance
of
ice
and the
measure
of
the physical
is
a real number
celsius degree
(s),
then
the real number
is
less
than or equal to 0.0
(=>
(
and
(
instance
?M
Mixture
)
(
instance
?Z
UnitOfMeasure
)
(
mixtureRatio
?A ?B ?X ?Y ?Z)
(
measure
?M
(
MeasureFn
?T ?Z))
(
part
?A ?M)
(
part
?B ?M)
(
measure
?A
(
MeasureFn
?X ?Z))
(
measure
?B
(
MeasureFn
?Y ?Z)))
(
equal
?T
(
AdditionFn
?X ?Y)))
Food.kif 1248-1262
If
an object
is an
instance
of
mixture
and
an unit of measure
is an
instance
of
unit of measure
and A
Mixture
containing
a real number
unit
the unit of measure
of
a substance
and
another real number
unit
the unit of measure
of
another substance
and the
measure
of
the object
is
a third real number
the unit of measure
(s) and
the substance
is a
part
of
the object
and
the other substance
is a
part
of
the object
and the
measure
of
the substance
is
the real number
the unit of measure
(s) and the
measure
of
the other substance
is
the other real number
the unit of measure
(s),
then
the third real number
is
equal
to (
the real number
and
the other real number
)
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
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.01 ?N)))))
Food.kif 2969-2986
If
an object
is an
instance
of
one 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.01 and
the real number
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
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.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
If
an object
is an
instance
of
semi 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.015 and
the real number
and
the real number
2 is
less
than or equal to 0.02 and
the real number
(=>
(
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
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