lessThanOrEqualTo
(=>
(
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 3025-3043
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
equal
the other object
and
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
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 2858-2876
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
equal
the other object
and
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
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
If
a railway
is an
instance
of
railway
and
the railway
the
attribute
narrow gauge
and
a real number
meter
(s) is a
track
width of
the railway
,
then
the real number
is
less
than or equal to 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
If
a railway
is an
instance
of
railway
and
the railway
the
attribute
standard gauge
and
a real number
meter
(s) is a
track
width of
the railway
,
then
the real number
is
less
than or equal to 1.44
(=>
(
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 3013-3024
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
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2925-2943
If
a process
is an
instance
of
tornado
and
a speed scale attribute
is an
instance
of
enhanced fuijita scale attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
miles per hour
(s) and
another real number
miles per hour
(s) are the min and max speed of
the speed scale attribute
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
equal
the third real number
miles per hour
(s) and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 337-354
If
a process
is an
instance
of
wind
and
a speed scale attribute
is an
instance
of
Beaufort number attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
the third real number
the unit of measure
(s) is a
surface
wind speed of
the object
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1305-1310
If
a physical
is an
instance
of
exclusive fishing zone
and the
linear
extent
of
the physical
is
a real number
nautical mile
(s),
then
the real number
is
less
than or equal to 200.0
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1337-1342
If
a physical
is an
instance
of
extended fishing zone
and the
linear
extent
of
the physical
is
a real number
nautical mile
(s),
then
the real number
is
less
than or equal to 200.0
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1273-1278
If
a physical
is an
instance
of
maritime exclusive economic zone
and the
linear
extent
of
the physical
is
a real number
nautical mile
(s),
then
the real number
is
less
than or equal to 200.0
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1232-1237
If
a physical
is an
instance
of
maritime shelf area
and the
linear
extent
of
the physical
is
a real number
nautical mile
(s),
then
the real number
is
less
than or equal to 200.0
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1378-1383
If
a physical
is an
instance
of
territorial sea
and the
linear
extent
of
the physical
is
a real number
nautical mile
(s),
then
the real number
is
less
than or equal to 12.0
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
If
a real number
meter
(s) is a
length
of crude oil pipeline of
a geographic area
and
another real number
meter
(s) is a
total
pipeline in area of
the geographic area
,
then
the real number
is
less
than or equal to
the other real number
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
If
a real number
meter
(s) is a
length
of natural gas pipeline of
a geographic area
and
another real number
meter
(s) is a
total
pipeline in area of
the geographic area
,
then
the real number
is
less
than or equal to
the other real number
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
If
a real number
meter
(s) is a
length
of petroleum product pipeline of
a geographic area
and
another real number
meter
(s) is a
total
pipeline in area of
the geographic area
,
then
the real number
is
less
than or equal to
the other real number
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2212-2225
If there can be at most
an integer
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
,
then there exist
a class
,
an entity
and @ARGS such that
the class
is an
instance
of
set or class
and
if
the relation
@ARGS and
equal
the entity
and
the positive integer
th
element
of (@ARGS),
then
the entity
is an
instance
of
the class
and the number of
instances
in
the class
is
less
than or equal to
the integer
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
If
a kind of stationary artifact
can
accommodate
at most
an integer
people and
an entity
is an
instance
of
a kind of stationary artifact
and
the entity
is an
element
of
belongings
of
an agent
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
group of people
and
the third entity
is a
member
count of
the other entity
and
the third entity
is
less
than or equal to
the integer
and
the other entity
stays
at
the entity
has the
modal
force
of
possibility
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
equal
the function quantity
and the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2959-2972
If
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
a speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exist
a physical
and
a third real number
such that
the physical
is an
instance
of
motion
and
the physical
the
attribute
the speed scale attribute
and the
measure
of
the physical
is
the third real number
the unit of measure
(s) and
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 26062-26067
If
a symbolic string
is a
sub
-string of
another symbolic string
and
equal
a nonnegative integer
and the
length
of
the symbolic string
and
equal
another nonnegative integer
and the
length
of
the other symbolic string
,
then
the nonnegative integer
is
less
than or equal to
the other nonnegative integer
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1014-1022
If
a real number
year duration
(s) is a
suffrage
age maximum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
and the
age
of
the object
is
another real number
year duration
(s),
then
the other real number
is
less
than or equal to
the real number
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1002-1012
If
a real number
year duration
(s) is a
suffrage
age maximum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
,
then there exists
another real number
such that the
age
of
the object
is
the other real number
year duration
(s) and
the other real number
is
less
than or equal to
the real number
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 794-804
If
a region
has
capacity
for
an integer
according to
a proposition
,
then
if
the region
express
es
the proposition
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
group of people
and
the other entity
is a
member
count of
the entity
and
the other entity
is
less
than or equal to
the integer
and
the entity
is
located
at
the region
has the
modal
force
of
possibility
(=>
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
greaterThanOrEqualTo
?AMOUNT -3.0)
(
lessThanOrEqualTo
?AMOUNT 18.0)
(
not
(
exists
(?M2 ?MT2)
(
and
(
instance
?M2
Month
)
(
averageTemperatureForPeriod
?AREA ?M2
(
MeasureFn
?MT2
CelsiusDegree
))
(
lessThan
?MT2 ?AMOUNT)))))))
Geography.kif 1592-1607
If
temperate climate zone
is a
climate
type in area of
a geographic area
,
then there exist
a time interval
and
a real number
such that
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
the real number
celsius degree
(s) and
the real number
is
greater
than or equal to -3.0 and
the real number
is
less
than or equal to 18.0 and there don't exist
another time interval
and
another real number
such that
the other time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the other time interval
for
the other real number
celsius degree
(s) and
the other real number
is
less
than
the real number
(=>
(
defaultMeasure
FortyFtContainer
(
MeasureFn
?X
Kilogram
))
(
and
(
greaterThanOrEqualTo
?X 2800)
(
lessThanOrEqualTo
?X 4000)))
Transportation.kif 2950-2955
If the expected
value
of
forty foot container
is
a real number
kilogram
(s),
then
the real number
is
greater
than or equal to 2800 and
the real number
is
less
than or equal to 4000
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
