MeasureFn
(=>
(
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 11133-11142
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 11143-11154
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
?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 11262-11272
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
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 814-835
If
a set or class
is
free
for customers renting
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
another cognitive agent
and
an agent
is an
instance
of
the set or class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 522-537
If use of
a set or class
is free for
a cognitive agent
and
an agent
is an
instance
of
the set or class
and
the cognitive agent
is a
customer
of
another cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?P
(
MeasureFn
0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 334-349
If use of
a set or class
is free for
a kind of hotel unit
and
the set or class
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the set or class
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the process
is
price
0
united states dollar
(s) for
the agent
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 351-365
If use of
a set or class
is free for
a kind of hotel unit
and
the set or class
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the set or class
or
another process
is an
instance
of
the set or class
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0
united states dollar
(s) for
the agent
(=>
(
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 5851-5861
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
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT ?HEIGHT))
(
not
(
greaterThan
?HEIGHT
(
MeasureFn
120
Inch
))))
Mid-level-ontology.kif 349-354
If
a self connected object
is an
instance
of
human adult
and the
height
of
the self connected object
is
a length measure
,
then
the length measure
is not
greater
than 120
inch
(s)
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY ?LENGTH)
(
or
(
greaterThanOrEqualTo
?LENGTH
(
MeasureFn
2438
Meter
))
(
lessThanOrEqualTo
?LENGTH
(
MeasureFn
3047
Meter
))))))
Transportation.kif 1432-1443
If
an object
is an
instance
of
airport
and
long runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a quantity
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the quantity
and
the quantity
is
greater
than or equal to 2438
meter
(s) or
the quantity
is
less
than or equal to 3047
meter
(s)
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY ?LENGTH)
(
or
(
greaterThanOrEqualTo
?LENGTH
(
MeasureFn
1524
Meter
))
(
lessThanOrEqualTo
?LENGTH
(
MeasureFn
2437
Meter
))))))
Transportation.kif 1414-1425
If
an object
is an
instance
of
airport
and
medium length runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a quantity
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the quantity
and
the quantity
is
greater
than or equal to 1524
meter
(s) or
the quantity
is
less
than or equal to 2437
meter
(s)
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY ?LENGTH)
(
or
(
greaterThanOrEqualTo
?LENGTH
(
MeasureFn
914
Meter
))
(
lessThanOrEqualTo
?LENGTH
(
MeasureFn
1523
Meter
))))))
Transportation.kif 1396-1407
If
an object
is an
instance
of
airport
and
short runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a quantity
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the quantity
and
the quantity
is
greater
than or equal to 914
meter
(s) or
the quantity
is
less
than or equal to 1523
meter
(s)
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY ?LENGTH)
(
greaterThan
?LENGTH
(
MeasureFn
3047
Meter
)))))
Transportation.kif 1450-1459
If
an object
is an
instance
of
airport
and
very long runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a quantity
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the quantity
and
the quantity
is
greater
than 3047
meter
(s)
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY ?LENGTH)
(
lessThan
?LENGTH
(
MeasureFn
914
Meter
)))))
Transportation.kif 1380-1389
If
an object
is an
instance
of
airport
and
very short runway airport
is an
attribute
of
the object
,
then there exist
another object
and
a quantity
such that
the other object
is an
instance
of
runway
and
the other object
is a
part
of
the object
and the
length
of
the other object
is
the quantity
and
the quantity
is
less
than 914
meter
(s)
(=>
(
and
(
instance
?AREA
ColdClimateZone
)
(
subclass
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO ?TEMP))
(
greaterThan
(
MeasureFn
10
CelsiusDegree
) ?TEMP))
Geography.kif 1486-1491
If
a geographic area
is an
instance
of
cold climate zone
and
a time duration
is a
subclass
of
month
and
the geographic area
average
temperature for period
the time duration
for
a temperature measure
,
then 10
celsius degree
(s) is
greater
than
the temperature measure
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?UNIT
UnitOfLength
))
(
totalCoastline
?AREA
(
MeasureFn
0 ?UNIT)))
Geography.kif 911-915
If
a geographic area
is an
instance
of
landlocked area
and
an unit of measure
is an
instance
of
UnitOfLength
,
then 0
the unit of measure
(s) is a
total
coastline of
the geographic area
(=>
(
and
(
instance
?AREA
PolarClimateZone
)
(
subclass
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO ?TEMP))
(
greaterThan
(
MeasureFn
10
CelsiusDegree
) ?TEMP))
Geography.kif 1523-1528
If
a geographic area
is an
instance
of
polar climate zone
and
a time duration
is a
subclass
of
month
and
the geographic area
average
temperature for period
the time duration
for
a temperature measure
,
then 10
celsius degree
(s) is
greater
than
the temperature measure
(=>
(
and
(
instance
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA ?TEMP)))
(
holdsDuring
?TIME
(
greaterThan
(
MeasureFn
10
CelsiusDegree
) ?TEMP)))
Geography.kif 1551-1556
If
an entity
is an
instance
of
polar typeF climate zone
and
a time position
is an
instance
of
time position
and
another entity
is an
air
temperature of
the entity
holds
during
the time position
,
then 10
celsius degree
(s) is
greater
than
the other entity
holds
during
the time position
(=>
(
and
(
instance
?AREA
SubtropicalDesertClimateZone
)
(
subclass
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO ?TEMP))
(
greaterThan
?TEMP
(
MeasureFn
18
CelsiusDegree
)))
Geography.kif 1360-1365
If
a geographic area
is an
instance
of
subtropical desert climate zone
and
a time duration
is a
subclass
of
month
and
the geographic area
average
temperature for period
the time duration
for
a temperature measure
,
then
the temperature measure
is
greater
than 18
celsius degree
(s)
(=>
(
and
(
instance
?AREA
TemperateClimateZone
)
(
subclass
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO ?TEMP))
(
greaterThanOrEqualTo
?TEMP
(
MeasureFn
-3
CelsiusDegree
)))
Geography.kif 1393-1398
If
a geographic area
is an
instance
of
temperate climate zone
and
a time duration
is a
subclass
of
month
and
the geographic area
average
temperature for period
the time duration
for
a temperature measure
,
then
the temperature measure
is
greater
than or equal to -3
celsius degree
(s)
(=>
(
and
(
instance
?AREA
TropicalClimateZone
)
(
subclass
?MO
Month
)
(
instance
?AREA
GeographicArea
)
(
averageTemperatureForPeriod
?AREA ?MO ?TEMP))
(
greaterThan
?TEMP
(
MeasureFn
18
CelsiusDegree
)))
Geography.kif 1276-1282
If
a geographic area
is an
instance
of
tropical climate zone
and
a time duration
is a
subclass
of
month
and
the geographic area
is an
instance
of
geographic area
and
the geographic area
average
temperature for period
the time duration
for
a temperature measure
,
then
the temperature measure
is
greater
than 18
celsius degree
(s)
(=>
(
and
(
instance
?ATOM
Actinium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
227
Amu
)))
Mid-level-ontology.kif 27016-27020
If
an object
is an
instance
of
actinium
and
the object
is an
instance
of
atom
,
then the
measure
of
the object
is 227
amu
(s)
(=>
(
and
(
instance
?ATOM
Aluminum
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
26.9815
Amu
)))
Mid-level-ontology.kif 25758-25762
If
an object
is an
instance
of
aluminum
and
the object
is an
instance
of
atom
,
then the
measure
of
the object
is 26.9815
amu
(s)
(=>
(
and
(
instance
?ATOM
Americium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
243
Amu
)))
Mid-level-ontology.kif 27116-27120
If
an object
is an
instance
of
americium
and
the object
is an
instance
of
atom
,
then the
measure
of
the object
is 243
amu
(s)
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
