MeasureFn
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 11147-11158
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a set or class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the set or class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the set or class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 11166-11175
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
and 1.5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 11177-11186
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
and .5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 11108-11117
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 11118-11129
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a set or class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the set or class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the set or class
and
the real number
UANTITY
the third entity
(s) is
less
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 1875-1883
If
a real number
an unit of measure
(s) is an
elevation
of
a self connected object
and
the unit of measure
is an
instance
of
UnitOfLength
and
the self connected object
is an
instance
of
land form
,
then there exists
another self connected object
such that the
top
of
the self connected object
is
the other self connected object
and the
distance
between
the other self connected object
and
sea level
is
the real number
the unit of measure
(s)
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfAngularMeasure
))
(
instance
?QUANT
AngleMeasure
))
Merge.kif 6046-6050
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfAngularMeasure
,
then
the physical quantity
is an
instance
of
angle measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfArea
))
(
instance
?QUANT
AreaMeasure
))
Merge.kif 6022-6026
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfArea
,
then
the physical quantity
is an
instance
of
area measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfCurrency
))
(
instance
?QUANT
CurrencyMeasure
))
Merge.kif 6040-6044
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfCurrency
,
then
the physical quantity
is an
instance
of
currency measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfDuration
))
(
instance
?QUANT
TimeDuration
))
Merge.kif 6052-6056
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfDuration
,
then
the physical quantity
is an
instance
of
time duration
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfFrequency
))
(
instance
?QUANT
FrequencyMeasure
))
Merge.kif 6515-6519
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfFrequency
,
then
the physical quantity
is an
instance
of
FrequencyMeasure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfInformation
))
(
instance
?QUANT
InformationMeasure
))
Merge.kif 6058-6062
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfInformation
,
then
the physical quantity
is an
instance
of
information measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfLength
))
(
instance
?QUANT
LengthMeasure
))
Merge.kif 6010-6014
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfLength
,
then
the physical quantity
is an
instance
of
length measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfMass
))
(
instance
?QUANT
MassMeasure
))
Merge.kif 6016-6020
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfMass
,
then
the physical quantity
is an
instance
of
mass measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfTemperature
))
(
instance
?QUANT
TemperatureMeasure
))
Merge.kif 6034-6038
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfTemperature
,
then
the physical quantity
is an
instance
of
temperature measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfVolume
))
(
instance
?QUANT
VolumeMeasure
))
Merge.kif 6028-6032
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
UnitOfVolume
,
then
the physical quantity
is an
instance
of
volume measure
(=>
(
and
(
equal
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
If
a radiation measure
is
equal
to
a real number
rad
(s) and the
measure
of
an object
is
the radiation measure
,
then
the object
has absorbed a dose of radiation equal to
the radiation measure
(=>
(
and
(
equal
?N4
(
MultiplicationFn
?N1
(
MultiplicationFn
?N2 ?N3)))
(
equal
?QUANT
(
MultiplicationFn
(
MeasureFn
?N1
FootLength
)
(
MultiplicationFn
(
MeasureFn
?N2
FootLength
)
(
MeasureFn
?N3
FootLength
)))))
(
equal
?QUANT
(
MeasureFn
?N4
CubicFoot
)))
Mid-level-ontology.kif 11237-11247
If
a real number
is
equal
to
another real number
and
a third real number
and
a fourth real number
and
a physical quantity
is
equal
to
the other real number
foot length
(s) and
the third real number
foot length
(s) and
the fourth real number
foot length
(s),
then
the physical quantity
is
equal
to
the real number
cubic foot
(s)
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA
(
MeasureFn
?N ?M)))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 5816-5826
If
an unit of measure
is the
unit
in
a graph
and
a graph element
is an
instance
of
graph node
and
the graph element
is a
part
of
the graph
and
a graph arc
is a
part
of
the graph
and
the graph arc
is an
instance
of
graph arc
and the
abstract
counterpart
of
a physical
is
the graph element
and the
abstract
counterpart
of
an object
is
the graph arc
and the
value
of
the graph arc
is
a real number
the unit of measure
(s),
then the
measure
of
the object
is
the real number
the unit of measure
(s)
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 28807-28828
If
dieting
is an
attribute
of
an agent
holds
during
a time interval
and
dieting
is not an
attribute
of
the agent
holds
during
another time interval
and
an object
is an
instance
of
meal
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
the object
is a
resource
for
the process
and the
time
of existence of
the process
takes place
during
the time interval
and the
measure
of
the object
is
a real number
calorie
(s) and
another object
is an
instance
of
meal
and
another process
is an
instance
of
eating
and
the agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
and the
time
of existence of
the other process
takes place
during
the other time interval
and the
measure
of
the other object
is
another real number
calorie
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90))
Geography.kif 427-431
If the
region
a directional attribute
of @ROW is an
instance
of
region
and 1th
element
of (@ROW) is
equal
to
a real number
angular degree
(s),
then
the real number
is
less
than or equal to 90
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180))
Geography.kif 467-474
If the
meridian
at @ROW
a directional attribute
is an
instance
of
region
and 1th
element
of (@ROW) is
equal
to
a real number
angular degree
(s),
then
the real number
is
less
than or equal to 180
(=>
(
and
(
instance
?A
AcuteAngle
)
(
angularMeasure
?A
(
MeasureFn
?N
AngularDegree
)))
(
lessThan
?N 90))
Mid-level-ontology.kif 5176-5180
If
a two dimensional angle
is an
instance
of
acute angle
and
a real number
angular degree
(s) is an
angular
measure of
the two dimensional angle
,
then
the real number
is
less
than 90
(=>
(
and
(
instance
?A
ObliqueAngle
)
(
angularMeasure
?A
(
MeasureFn
?N
AngularDegree
)))
(
greaterThan
?N 90))
Mid-level-ontology.kif 5157-5161
If
a two dimensional angle
is an
instance
of
oblique angle
and
a real number
angular degree
(s) is an
angular
measure of
the two dimensional angle
,
then
the real number
is
greater
than 90
(=>
(
and
(
instance
?AREA
(
MaritimeClaimsTerritorialSeaFn
?PLACE))
(
width
?AREA
(
MeasureFn
?WIDTH ?UNIT))
(
distance
?OBJ ?PLACE
(
MeasureFn
?DISTANCE ?UNIT))
(
lessThanOrEqualTo
?DISTANCE ?WIDTH))
(
located
?OBJ ?AREA))
Geography.kif 873-879
If
an object
is an
instance
of the
maritime
claims territorial sea of
a region
and the
width
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
a physical
and
the region
is
another real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then
the physical
is
located
at
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
