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 31197-31198
(
domain
totalArea
1
Region
)
Mid-level-ontology.kif 31194-31194
totalArea
の数値 1 引数は
地域
の
instance
では %n
(
domain
totalArea
2
AreaMeasure
)
Mid-level-ontology.kif 31195-31195
totalArea
の数値 2 引数は
面積測定
の
instance
では %n
(
instance
totalArea
BinaryPredicate
)
Mid-level-ontology.kif 31193-31193
totalArea
は
2進述語
の
instance
では %n
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
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
実数
は
面積測定
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
ArableLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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
irrigatedLandArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
+
実数
と
equal
では %n
irrigatedLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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
irrigatedLandArea
地理的地域
and
実数
の
測定単位
(s)
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
irrigatedLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
土地面積
の
instance
では %n
地理的地域
は
ArableLand
の
instance
では
地理的地域
は
PermanentCropLand
の
instance
では
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
PermanentCropLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
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
測定単位
は
UnitOfArea
の
instance
では %n
landAreaOnly
地理的地域
and
実数
の
測定単位
(s)
waterAreaOnly
地理的地域
and
実数
の
測定単位
(s)
totalArea
地理的地域
and (
実数
+
実数
) の
測定単位
(s)
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 31208-31213
memberMeasure
セット
,
MeasurementAttribute
and
面積測定
セット
は
セット
の
instance
では %n
地域
は
セット
の
element
%n
totalArea
地域
and
面積測定
(=>
(
and
(
memberMeasure
?S
Area
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 31215-31220
memberMeasure
クラス
,
Area
and
面積測定
クラス
は
クラス
の
instance
では %n
地域
は
クラス
の
instance
では %n
totalArea
地域
and
面積測定
(=>
(
landAreaOnly
?AREA ?MEASURE)
(
exists
(?LAND)
(
and
(
instance
?LAND
SurfaceGroundArea
)
(
part
?LAND ?AREA)
(
totalArea
?LAND ?MEASURE))))
Geography.kif 579-585
landAreaOnly
地理的地域
and
面積測定
地域
地域
は
SurfaceGroundArea
の
instance
では %n
地域
は
地理的地域
の
part
では %n
totalArea
地域
and
面積測定
(=>
(
waterAreaOnly
?AREA ?MEASURE)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterOnlyArea
)
(
part
?WATER ?AREA)
(
totalArea
?WATER ?MEASURE))))
Geography.kif 603-609
waterAreaOnly
地理的地域
and
面積測定
地域
地域
は
WaterOnlyArea
の
instance
では %n
地域
は
地理的地域
の
part
では %n
totalArea
地域
and
面積測定
appearance as argument number 0
(
totalArea
SouthernOcean
(
MeasureFn
20327000.0
SquareKilometer
))
Geography.kif 4659-4660
totalArea
SouthernOcean
and 20327000.0 の
SquareKilometer
(s)
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