Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
totalArea
Sigma KEE - totalArea
totalArea
appearance as argument number 1
(
documentation
totalArea
EnglishLanguage
"(
totalArea
?REGION ?AMOUNT) means that the total area of ?REGION is the
AreaMeasure
?AMOUNT.")
Geography.kif 541-542
(
domain
totalArea
1
Region
)
Geography.kif 538-538
The number 1 argument of
total area
is an
instance
of
region
(
domain
totalArea
2
AreaMeasure
)
Geography.kif 539-539
The number 2 argument of
total area
is an
instance
of
area measure
(
instance
totalArea
BinaryPredicate
)
Geography.kif 537-537
total area
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
totalArea
"%2 %n 是 %1 的
total
區域")
domainEnglishFormat.kif 2475-2475
(
format
ChineseTraditionalLanguage
totalArea
"%2 %n 是 %1 的
total
區域")
domainEnglishFormat.kif 2474-2474
(
format
EnglishLanguage
totalArea
"%2 is %n a
total
area of %1")
domainEnglishFormat.kif 2473-2473
(
termFormat
ChineseLanguage
totalArea
"总面积")
domainEnglishFormat.kif 58438-58438
(
termFormat
ChineseTraditionalLanguage
totalArea
"總面積")
domainEnglishFormat.kif 58437-58437
(
termFormat
EnglishLanguage
totalArea
"total area")
domainEnglishFormat.kif 58436-58436
antecedent
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 2040-2047
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a constant quantity
is
equal
to
the number
and
the real number
the unit of measure
(s),
then
the constant quantity
is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 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 2049-2059
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
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 number
and
the real number
the unit of measure
(s)
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 2031-2038
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
another number
is a
total
area of
the geographic area
and
the other number
is an
instance
of
area measure
and
a third number
is
equal
to
the number
and
the other number
,
then
the third number
is an
arable
land area of
the geographic area
(=>
(
and
(
irrigatedLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT))
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?FRACTION
(
DivisionFn
?AMOUNT ?TOTAL)))
(
irrigatedLandArea
?REGION ?FRACTION))
Geography.kif 2180-2186
If
a real number
an unit of measure
(s) is an
irrigated
land area of
a geographic area
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
UnitOfArea
and
a number
is
equal
to
the real number
and
the other real number
,
then
the number
is an
irrigated
land area of
the geographic area
(=>
(
and
(
irrigatedLandArea
?REGION ?AMOUNT)
(
instance
?AMOUNT
AreaMeasure
)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?FRACTION
(
DivisionFn
?AMOUNT ?TOTAL)))
(
irrigatedLandArea
?REGION ?FRACTION))
Geography.kif 2171-2178
If
a number
is an
irrigated
land area of
a geographic area
and
the number
is an
instance
of
area measure
and
another number
is a
total
area of
the geographic area
and
the other number
is an
instance
of
area measure
and
a third number
is
equal
to
the number
and
the other number
,
then
the third number
is an
irrigated
land area of
the geographic area
(=>
(
and
(
otherLandUseArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
otherLandUseArea
?REGION ?AMOUNT))
Geography.kif 2130-2137
If
a number
is an
other
land use area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a constant quantity
is
equal
to
the number
and
the real number
the unit of measure
(s),
then
the constant quantity
is an
other
land use area of
the geographic area
(=>
(
and
(
otherLandUseArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2139-2151
If
a number
is an
other
land use area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
land area
and
the other geographic area
is not an
instance
of
arable land
and
the other geographic area
is not an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the number
and
the real number
the unit of measure
(s)
(=>
(
and
(
otherLandUseArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION ?AMOUNT))
Geography.kif 2121-2128
If
a number
is an
other
land use area of
a geographic area
and
the number
is
greater
than or equal to 0 and
another number
is a
total
area of
the geographic area
and
the other number
is an
instance
of
area measure
and
a third number
is
equal
to
the number
and
the other number
,
then
the third number
is an
other
land use area of
the geographic area
(=>
(
and
(
permanentCropLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
permanentCropLandArea
?REGION ?AMOUNT))
Geography.kif 2088-2095
If
a number
is a
permanent
crop land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a constant quantity
is
equal
to
the number
and
the real number
the unit of measure
(s),
then
the constant quantity
is a
permanent
crop land area of
the geographic area
(=>
(
and
(
permanentCropLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2097-2107
If
a number
is a
permanent
crop land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the number
and
the real number
the unit of measure
(s)
(=>
(
and
(
permanentCropLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION ?AMOUNT))
Geography.kif 2079-2086
If
a number
is a
permanent
crop land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
another number
is a
total
area of
the geographic area
and
the other number
is an
instance
of
area measure
and
a third number
is
equal
to
the number
and
the other number
,
then
the third number
is a
permanent
crop land area of
the geographic area
consequent
(=>
(
and
(
instance
?UNIT
UnitOfArea
)
(
landAreaOnly
?AREA
(
MeasureFn
?LAND ?UNIT))
(
waterAreaOnly
?AREA
(
MeasureFn
?WATER ?UNIT)))
(
totalArea
?AREA
(
MeasureFn
(
AdditionFn
?LAND ?WATER) ?UNIT)))
Geography.kif 562-567
If
an unit of measure
is an
instance
of
UnitOfArea
and
a real number
the unit of measure
(s) is a
land
area only of
a geographic area
and
another real number
the unit of measure
(s) is a
water
area only of
the geographic area
,
then (
the real number
and
the other real number
)
the unit of measure
(s) is a
total
area of
the geographic area
(=>
(
landAreaOnly
?AREA ?MEASURE)
(
exists
(?LAND)
(
and
(
instance
?LAND
SurfaceGroundArea
)
(
part
?LAND ?AREA)
(
totalArea
?LAND ?MEASURE))))
Geography.kif 586-592
If
an area measure
is a
land
area only of
a geographic area
,
then there exists
a region
such that
the region
is an
instance
of
surface ground area
and
the region
is a
part
of
the geographic area
and
the area measure
is a
total
area of
the region
(=>
(
waterAreaOnly
?AREA ?MEASURE)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterOnlyArea
)
(
part
?WATER ?AREA)
(
totalArea
?WATER ?MEASURE))))
Geography.kif 610-616
If
an area measure
is a
water
area only of
a geographic area
,
then there exists
a region
such that
the region
is an
instance
of
water only area
and
the region
is a
part
of
the geographic area
and
the area measure
is a
total
area of
the region
appearance as argument number 0
(
totalArea
SouthernOcean
(
MeasureFn
20327000
SquareKilometer
))
Geography.kif 4389-4389
20327000
Square kilometer
(s) is a
total
area of
southern ocean
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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
