Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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 31193-31194
(
domain
totalArea
1
Region
)
Mid-level-ontology.kif 31190-31190
(
domain
totalArea
2
AreaMeasure
)
Mid-level-ontology.kif 31191-31191
(
instance
totalArea
BinaryPredicate
)
Mid-level-ontology.kif 31189-31189
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 58526-58526
(
termFormat
ChineseTraditionalLanguage
totalArea
"總面積")
domainEnglishFormat.kif 58525-58525
(
termFormat
EnglishLanguage
totalArea
"total area")
domainEnglishFormat.kif 58524-58524
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 2080-2090
(=>
(
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 2092-2106
(=>
(
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 2215-2225
(=>
(
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 2227-2237
(=>
(
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 2165-2176
(=>
(
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 2178-2196
(=>
(
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 2125-2136
(=>
(
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 2138-2152
consequent
(=>
(
and
(
instance
?UNIT
UnitOfArea
)
(
landAreaOnly
?AREA
(
MeasureFn
?LAND ?UNIT))
(
waterAreaOnly
?AREA
(
MeasureFn
?WATER ?UNIT)))
(
totalArea
?AREA
(
MeasureFn
(
AdditionFn
?LAND ?WATER) ?UNIT)))
Geography.kif 555-560
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 31204-31209
(=>
(
and
(
memberMeasure
?S
Area
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 31211-31216
(=>
(
landAreaOnly
?AREA ?MEASURE)
(
exists
(?LAND)
(
and
(
instance
?LAND
SurfaceGroundArea
)
(
part
?LAND ?AREA)
(
totalArea
?LAND ?MEASURE))))
Geography.kif 579-585
(=>
(
waterAreaOnly
?AREA ?MEASURE)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterOnlyArea
)
(
part
?WATER ?AREA)
(
totalArea
?WATER ?MEASURE))))
Geography.kif 603-609
appearance as argument number 0
(
totalArea
SouthernOcean
(
MeasureFn
20327000.0
SquareKilometer
))
Geography.kif 4659-4660
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