Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 58493-58493
(
termFormat
ChineseTraditionalLanguage
totalArea
"總面積")
domainEnglishFormat.kif 58492-58492
(
termFormat
EnglishLanguage
totalArea
"total area")
domainEnglishFormat.kif 58491-58491
antecedent
(=>
(
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 2083-2093
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
a third real number
is
equal
to
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 2095-2109
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
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 real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
irrigatedLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
equal
?FRACTION
(
DivisionFn
?AMOUNT ?TOTAL)))
(
irrigatedLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT)))
Geography.kif 2218-2228
If
a real number
an unit of measure
(s) is an
irrigated
land area of
a geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
irrigated
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
(
MeasureFn
?FRACTION ?UNIT)))
Geography.kif 2230-2240
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 third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
irrigated
land area of
the geographic area
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2168-2179
If
a real number
an unit of measure
(s) is an
other
land use 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
UnitOfArea
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
other
land use area of
the geographic area
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.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 2181-2199
If
a real number
an unit of measure
(s) is an
other
land use 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
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 real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2128-2139
If
a real number
an unit of measure
(s) is a
permanent
crop 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
UnitOfArea
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is a
permanent
crop land area of
the geographic area
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.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 2141-2155
If
a real number
an unit of measure
(s) is a
permanent
crop 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
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 real number
and
the other real number
the unit of measure
(s)
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
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
member
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 30577-30582
If members of
a collection
have the measure
an area measure
in terms of
a measurement attribute
and
the collection
is an
instance
of
set
and
a region
is a
member
of
the collection
,
then
the area measure
is a
total
area of
the region
(=>
(
and
(
memberMeasure
?S
Area
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 30584-30589
If members of
a class
have the measure
an area measure
in terms of
Area
and
the class
is an
instance
of
class
and
a region
is an
instance
of
the class
,
then
the area measure
is a
total
area of
the region
(=>
(
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.0
SquareKilometer
))
Geography.kif 4558-4559
20327000.0
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
