MeasureFn
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 515-517
The
measure
of
a physical
is
a real number
angular degree
(s) if and only if the
measure
of
the physical
is 60.0 and
the real number
arc minute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 534-536
The
measure
of
a physical
is
a real number
arc minute
(s) if and only if the
measure
of
the physical
is 60.0 and
the real number
arc second
(s)
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 14665-14670
The
measure
of
a physical
is
a real number
Ounce
(s) if and only if the
measure
of
the physical
is
the real number
and 16.0
pound mass
(s)
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2673-2676
The
measure
of
a solution
is
a real number
PH value
(s) if and only if
the real number
is a
potential
of hydrogen of
the solution
(<=>
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorValueOfGDP
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT))))))
Economy.kif 1220-1228
A geopolitical area
is
sector
value of GDP in period
an industry attribute
for
a real number
an unit of measure
(s) with
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
is
sector
value of GDP
the industry attribute
for
the real number
the unit of measure
(s) holds
during
the time position
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7647-7662
If
amount
a kind of substance
,
a corpuscular object
and
a real number
an unit of mass
(s) and
a kind of substance
I is an
instance
of
the kind of substance
and the
measure
of
the kind of substance
I is
the real number
2
the unit of mass
(s) and
the kind of substance
I is a
part
of
the corpuscular object
,
then there exists
a list
such that
the real number
2
the unit of mass
(s) is a
member
of
the list
and
equal
the list
and
Amounts fn
the kind of substance
,
the corpuscular object
and
the unit of mass
and
equal
the real number
and the
sum
of
the list
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 19519-19530
If the
approximate
diameter
of
a self connected object
is
a real number
the real number
M(s) and the
radius
of
an object
is
the real number
and 2.0
the real number
M(s) and the
measure
of
the object
is
another real number
another unit of measure
(s) and the
measure
of
the self connected object
is
a third real number
the other unit of measure
(s) and
the real number
M is an
instance
of
unit of length
and
the other unit of measure
is an
instance
of
unit of volume
,
then
equal
the other real number
and
the third real number
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2205-2215
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the other real number
is an
instance
of
area measure
and
equal
a third real number
and
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2217-2231
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
arcLength
?SEMI
(
MeasureFn
?L ?U))
(
equal
?SEMI
SemicircularArc
))
(
exists
(?CIR ?C)
(
and
(
equal
?CIR
Circle
)
(
geometricPart
?SEMI ?CIR)
(
circumference
?CIR
(
MeasureFn
?C ?U))
(
equal
?C
(
AdditionFn
?L ?L)))))
Mid-level-ontology.kif 5700-5710
If
a real number
an unit of measure
(s) is the
LengthMeasure
of
a circular arc
and
equal
the circular arc
and
semicircular arc
,
then there exist
a circle
and
another real number
such that
equal
the circle
and
circle
and
the circle
is a
geometric
part of
the circular arc
and
circumference
the circle
and
the other real number
the unit of measure
(s) and
equal
the other real number
and (
the real number
and
the real number
)
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
If
family_style portions
is an
attribute
of
an object
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
family_style portions
is not an
attribute
of
another object
and the
measure
of
the other object
is
another real number
the unit of measure
(s) and
the object
is an
instance
of
a class
and
the other object
is an
instance
of
the class
and
the unit of measure
is an
instance
of
unit of measure
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
If
anaemia
is an
attribute
of
an object
and
another object
is an
instance
of
blood
and
the other object
is a
part
of
the object
and
female
is an
attribute
of
the object
and the
measure
of
the other object
is 0.1
liter
(s) and
the object
E is an
instance
of
hemoglobin
and
the object
E is a
part
of
the other object
and
the object
E2 is not an
instance
of
hemoglobin
and
equal
the object
E and
the object
E2 and
the object
2 is a
part
of
the other object
and the
measure
of
the object
E is
a real number
gram
(s),
then
the real number
is
less
than 12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
If
anaemia
is an
attribute
of
an object
and
another object
is an
instance
of
blood
and
the other object
is a
part
of
the object
and
male
is an
attribute
of
the object
and the
measure
of
the other object
is 0.1
liter
(s) and
the object
E is an
instance
of
hemoglobin
and
the object
E is a
part
of
the other object
and
the object
E2 is not an
instance
of
hemoglobin
and
equal
the object
E and
the object
E2 and
the object
2 is a
part
of
the other object
and the
measure
of
the object
E is
a real number
gram
(s),
then
the real number
is
less
than 13
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2025-2046
If
limit order
is an
attribute
of
a financial transaction
and
an agreement
is a
party
to agreement of
the financial transaction
and
broker
is an
attribute
of
the agreement
and
the financial transaction
is
order
for
buying
for
a security
and the
measure
of
the security
is
a physical quantity
and
a real number
an unit of measure
(s) is a
limit
price of
the financial transaction
and
the unit of measure
is an
instance
of
unit of currency
and
an agent
asks
for
another real number
the unit of measure
(s) for
the security
and
the other real number
is
less
than or equal to
the real number
,
then
the agreement
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2048-2069
If
limit order
is an
attribute
of
a financial transaction
and
an agreement
is a
party
to agreement of
the financial transaction
and
broker
is an
attribute
of
the agreement
and
the financial transaction
is
order
for
selling
for
a security
and the
measure
of
the security
is
a physical quantity
and
a real number
an unit of measure
(s) is a
limit
price of
the financial transaction
and
an agent
bids
another real number
the unit of measure
(s) for
the security
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
is
greater
than or equal to
the real number
,
then
the agreement
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
attribute
?W
Windy
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11414-11422
If
windy
is an
attribute
of
an object
and
the object
is
located
at
another object
and
equal
a time interval
and the
time
of existence of
the object
and
a real number
miles per hour
(s) is a
surface
wind speed of
the other object
holds
during
the time interval
,
then
the real number
is
greater
than 20.0
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13994-14007
If
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
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
greater
than or equal to
the real number
,
then
gas
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
boiling
and
the entity
is a
patient
of
the process
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1663-1669
If
a geopolitical area
capital
expenditures of area in period
a real number
an unit of measure
(s) for
a kind of time interval
and
the geopolitical area
annual
expenditures of area in period
another real number
the unit of measure
(s) for
a kind of time interval
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1653-1661
If
cold climate zone
is a
climate
type in area of
a geographic area
and for all
a time interval
the time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s),
then 10.0 is
greater
than
the real number
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1501-1508
If
desert climate zone
is a
climate
type in area of
a geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s) and
the real number
is
greater
than 18.0,
then
subtropical desert climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1728-1734
If
polar typeF climate zone
is a
climate
type in area of
a geographic area
and
a time position
is an
instance
of
time position
and
an entity
celsius degree
(s) is an
air
temperature of
the geographic area
holds
during
the time position
,
then 10.0 is
greater
than
the entity
holds
during
the time position
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1550-1556
If
temperate climate zone
is a
climate
type in area of
a geographic area
and
a time interval
is an
instance
of
month
and
the geographic area
average
temperature for period
the time interval
for
a real number
celsius degree
(s),
then
the real number
is
greater
than or equal to -3.0
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1447-1454
If
tropical climate zone
is a
climate
type in area of
a geographic area
and
a month
is an
instance
of
month
and
the geographic area
average
rainfall for period
the month
for
a real number
one
thousandth
of a
meter
(s) and
the real number
is
greater
than or equal to 60.0,
then
wet tropical climate zone
is a
climate
type in area of
the geographic area
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 792-802
If
a geographic area
comparative
area
a binary relation extended to quantities
for
a positive real number
with
another geographic area
and
an unit of measure
is an
instance
of
unit of area
and the
measure
of
the geographic area
is
a real number
the unit of measure
(s) and the
measure
of
the other geographic area
is
another real number
the unit of measure
(s),
then
the binary relation extended to quantities
the real number
the unit of measure
(s) and
the positive real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
If the
concentration
of
a kind of substance
in
a mixture
is
a real number
an unit of measure
(s) per
another real number
the unit of measure
2(s) and
a kind of substance
I is an
instance
of
the kind of substance
and
the kind of substance
I is a
part
of
the mixture
and the
measure
of
the kind of substance
I is
a third real number
the unit of measure
3(s) and
the kind of substance
I is a
part
of
the mixture
and
the kind of substance
I2 is not an
instance
of
the kind of substance
and
equal
the kind of substance
I and
the kind of substance
IE2 and
the kind of substance
I2 is a
part
of
the mixture
and the
measure
of
the mixture
is
the other real number
the unit of measure
2(s),
then the approximate value of
the real number
is
the third 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