Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
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.")
Mid-level-ontology.kif 33142-33143
(
domain
totalArea
1
Region
)
Mid-level-ontology.kif 33139-33139
The number 1 argument of
total area
is an
instance
of
region
(
domain
totalArea
2
AreaMeasure
)
Mid-level-ontology.kif 33140-33140
The number 2 argument of
total area
is an
instance
of
area measure
(
instance
totalArea
BinaryPredicate
)
Mid-level-ontology.kif 33138-33138
total area
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
totalArea
"%2 %n 是 %1 的
total
區域")
domainEnglishFormat.kif 2479-2479
(
format
ChineseTraditionalLanguage
totalArea
"%2 %n 是 %1 的
total
區域")
domainEnglishFormat.kif 2478-2478
(
format
EnglishLanguage
totalArea
"%2 is %n a
total
area of %1")
domainEnglishFormat.kif 2477-2477
(
termFormat
ChineseLanguage
totalArea
"总面积")
domainEnglishFormat.kif 58534-58534
(
termFormat
ChineseTraditionalLanguage
totalArea
"總面積")
domainEnglishFormat.kif 58533-58533
(
termFormat
EnglishLanguage
totalArea
"total area")
domainEnglishFormat.kif 58532-58532
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 2238-2248
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 2250-2264
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
(
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 2373-2383
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
unit of area
and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
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
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 2385-2395
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
unit of area
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
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 2323-2334
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
unit of area
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
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 2336-2354
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
unit of area
,
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 2283-2294
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
unit of area
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 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 2296-2310
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
unit of area
,
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 725-730
If
an unit of measure
is an
instance
of
unit of area
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
)
(
element
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 33153-33158
If members of
a set
have the measure
an area measure
in terms of
a measurement attribute
and
the set
is an
instance
of
set
and
a region
is an
element
of
the set
,
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 33160-33165
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
(=>
(
equal
(
MeasureFn
(
PerFn
(
MeasureFn
?F
KilogramForce
)
(
MeasureFn
?A
SquareMillimeter
))
VickersPyramidNumber
)
(
VickersHardnessFn
?CLASS))
(
modalAttribute
(
exists
(?SUB ?P ?D ?H ?S)
(
and
(
instance
?SUB ?CLASS)
(
instance
?P
Pushing
)
(
destination
?P ?SUB)
(
instance
?D
Diamond
)
(
shape
?D
SquarePyramid
)
(
patient
?P ?D)
(
result
?P ?H)
(
instance
?H
HoleRegion
)
(
part
?H ?SUB)
(
surface
?S ?H)
(
totalArea
?S
(
MeasureFn
?A
SquareMillimeter
))
(
measure
?P
(
MeasureFn
?F
KilogramForce
))))
Likely
))
Mid-level-ontology.kif 10473-10494
If
equal
the
per
of
a real number
kilogram force
(s) and
another real number
square millimeter
(s)
Vickers pyramid number
(s) and The Vickers Hardness of
a kind of substance
is,
then the statement there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
a kind of substance
and
the other entity
is an
instance
of
pushing
and
the other entity
end
s up at
the entity
and
the third entity
is an
instance
of
diamond
and
the third entity
is
square pyramid
and
the third entity
is a
patient
of
the other entity
and
the fourth entity
is a
result
of
the other entity
and
the fourth entity
is an
instance
of
hole
and
the fourth entity
is a
part
of
the entity
and
the fifth entity
is a
surface
of
the fourth entity
and
the other real number
square millimeter
(s) is a
total
area of
the fifth entity
and the
measure
of
the other entity
is
the real number
kilogram force
(s) has the
modal
force
of
likely
(=>
(
landAreaOnly
?AREA ?MEASURE)
(
exists
(?LAND)
(
and
(
instance
?LAND
SurfaceGroundArea
)
(
part
?LAND ?AREA)
(
totalArea
?LAND ?MEASURE))))
Geography.kif 749-755
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 773-779
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
MediterraneanSea
(
MeasureFn
2500000
SquareKilometer
))
Geography.kif 5049-5049
2500000
Square kilometer
(s) is a
total
area of
mediterranean sea
(
totalArea
SaharaDesert
(
MeasureFn
3600000
SquareKilometer
))
Geography.kif 6949-6949
3600000
Square kilometer
(s) is a
total
area of
Sahara Desert
(
totalArea
Sahel
(
MeasureFn
3053200
SquareKilometer
))
Geography.kif 6966-6966
3053200
Square kilometer
(s) is a
total
area of
Sahel
(
totalArea
SouthernOcean
(
MeasureFn
20327000.0
SquareKilometer
))
Geography.kif 4899-4900
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