measure
(=>
(
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
?P
Process
)
(
measure
?P ?Q))
(
instance
?Q
TimeDependentQuantity
))
Merge.kif 7511-7515
If
a physical
is an
instance
of
process
and the
measure
of
the physical
is
a physical quantity
,
then
the physical quantity
is an
instance
of
time dependent quantity
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
If
a region
is an
instance
of
object
and
a physical
is an
instance
of
wind
and the
measure
of
the physical
is
a length measure
per
a time duration
in
the region
in the direction
a directional attribute
,
then
the region
is
surface
wind velocity
the length measure
per
the time duration
for
the directional attribute
(=>
(
and
(
instance
?RAINFALL
Process
)
(
patient
?RAINFALL ?RAIN)
(
instance
?RAIN
Water
)
(
measure
?RAIN
(
MeasureFn
?PH
PHValue
)))
(
lessThan
?PH 5.6))
Geography.kif 2561-2567
If
a process
is an
instance
of
process
and
a physical
is a
patient
of
the process
and
the physical
is an
instance
of
water
and the
measure
of
the physical
is
a real number
PH value
(s),
then
the real number
is
less
than 5.6
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1970-1982
If
an entity
is an
instance
of
self connected object
and
a process
is an
instance
of
compressing
and
the entity
is a
patient
of
the process
and the
measure
of
the entity
is
a real number
another entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and
the other entity
is an
instance
of
unit of volume
and the
measure
of
the entity
is
another real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
If
a physical
is an
instance
of
merchant marine ship
and the
measure
of
the physical
is
a real number
registry ton
(s),
then
the real number
is
greater
than or equal to 1000
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
If
a process
is an
instance
of
sublimation
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
greater
than
the real number
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13909-13924
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
another real number
the unit of measure
(s) is a
melting
point of
the kind of pure substance
and
the unit of measure
is an
instance
of
unit of temperature
and the
measure
of
the entity
is
a third real number
the unit of measure
(s) holds
during
a time interval
and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
melting
and
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13926-13939
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
melting
point of
a kind of pure substance
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
a time interval
and
the unit of measure
is an
instance
of
unit of temperature
and
the other real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
freezing
and
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?SW
BrackishWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 0.5)
(
lessThanOrEqualTo
?R 30.0)))
Geography.kif 2855-2866
If
an object
is an
instance
of
brackish water
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 0.5 and
the real number
is
less
than or equal to 30.0
(=>
(
and
(
instance
?SW
SeaWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
approximateValue
?R 35.0))
Geography.kif 2836-2845
If
an object
is an
instance
of
sea water
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 approximate value of
the real number
is 35.0
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3079-3093
If
a time position
is an
instance
of
transformer
and
a wire coil
is an
instance
of
wire coil
and
another wire coil
is an
instance
of
wire coil
and the number of coils in
the wire coil
is
an integer
and the number of coils in
the other wire coil
is
another integer
and the
measure
of
the wire coil
is
volt
a real number
(s) holds
during
the time position
,
then the
measure
of
the other wire coil
is
volt
another real number
(s) holds
during
the time position
and
the other real number
is
equal
to
the real number
and
the other integer
and
the integer
(=>
(
and
(
instance
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
If
an unit of measure
is an
instance
of
area measure
and the
measure
of
alaska
is
a real number
the unit of measure
(s) and the
measure
of
a physical
is
another real number
the unit of measure
(s) and
the physical
is an
instance
of
american state
and
alaska
is not
equal
to
the physical
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?W
TapWater
)
(
instance
?M
Mixture
)
(
part
?W ?M)
(
instance
?A
Antifreeze
)
(
part
?A ?M)
(
attribute
?M
Solid
)
(
measure
?M
(
MeasureFn
?D
CelsiusDegree
)))
(
greaterThan
32 ?D))
Cars.kif 1219-1228
If
an object
is an
instance
of
tap water
and
another object
is an
instance
of
mixture
and
the object
is a
part
of
the other object
and
a third object
is an
instance
of
antifreeze
and
the third object
is a
part
of
the other object
and
solid
is an
attribute
of
the other object
and the
measure
of
the other object
is
a real number
celsius degree
(s),
then 32 is
greater
than
the real number
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11192-11200
If
a process
is an
instance
of
walking
and
another process
is an
instance
of
running
and
an agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and the
measure
of
the agent
is
a real number
per
an entity
holds
during
the
time
of existence of
the process
and the
measure
of
the agent
is
another real number
per
the entity
holds
during
the
time
of existence of
the other process
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
If
a process
is an
instance
of
erosion
and
a physical
is an
instance
of
land form
and
the physical
is a
patient
of
the process
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the physical
is
a real number
the unit of measure
(s),
then there exists
an entity
such that the
measure
of
the physical
is
the entity
the unit of measure
(s) and
the entity
is
less
than
the real number
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13844-13853
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and 29.92 is
greater
than
the real number
and
another real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
,
then
gas
is an
attribute
of
the object
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13855-13864
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and
another real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the object
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13866-13875
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and
another real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the other real number
is
greater
than 29.92 and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the object
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 136-145
If
an object
is an
instance
of
wind flow
and
another object
is an
instance
of
object
and
the object
is
partly
located in
the other object
and
a real number
foot length
(s) is an
elevation
of
the object
and
the real number
is
less
than or equal to 500.0 and the
measure
of
the object
is
a length measure
per
a time duration
,
then
the length measure
per
the time duration
is a
surface
wind speed of
the other object
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 147-153
If
a physical
is an
instance
of
wind flow
and
an object
is an
instance
of
object
and
the physical
is
partly
located in
the object
and the
measure
of
the physical
is
a real number
knot unit of speed
(s),
then
the real number
knot unit of speed
(s) is a
surface
wind speed of
the object
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
measure
?ZEPHYR
(
VelocityFn
?DIST ?TIME ?PLACE ?DIR-TOWARD))
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 182-187
If
a physical
is an
instance
of
wind flow
and the
measure
of
the physical
is
a length measure
per
a time duration
in
a region
in the direction
an entity
-TOWARD and
the entity
-FROM is an
opposite
direction of
the entity
-TOWARD,
then
the entity
-FROM is a
surface
wind direction of
the region
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
If the
measure
of the
flow
of
a substance
is
a real number
knot unit of speed
(s) and
another substance
is a
piece
of
the substance
,
then
the other substance
is a
piece
of
the real number
knot unit of speed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
If the
measure
of the
flow
of
a substance
is
a length measure
per
a time duration
and
another substance
is a
piece
of
the substance
,
then
the other substance
is a
piece
of
the length measure
per
the time duration
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
If the
measure
of the
flow
of
a substance
is
a length measure
per
a time duration
in
a region
in the direction
a directional attribute
and
another substance
is a
piece
of
the substance
,
then the
measure
of
the other substance
is
the length measure
per
the time duration
in
the region
in the direction
the directional attribute
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