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
otherLandUseArea
Sigma KEE - otherLandUseArea
otherLandUseArea
appearance as argument number 1
(
documentation
otherLandUseArea
EnglishLanguage
"This predicate is used to represent information from the CIA World Fact Book. (
otherLandUseArea
?REGION ?AMOUNT) means that in the
GeographicArea
?REGION, the ?AMOUNT of land has some use other than planting seasonal or permanent crops. See also
arableLandArea
and permanentLandArea.")
Geography.kif 2158-2163
(
domain
otherLandUseArea
1
GeographicArea
)
Geography.kif 2155-2155
域
其他土地使用面積
, 1 and
GeographicArea
(
domain
otherLandUseArea
2
ConstantQuantity
)
Geography.kif 2156-2156
域
其他土地使用面積
, 2 and
ConstantQuantity
(
instance
otherLandUseArea
BinaryPredicate
)
Geography.kif 2154-2154
例
其他土地使用面積
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
otherLandUseArea
"%2 %n 是 %1 的 other 土地使用地区")
domainEnglishFormat.kif 1875-1875
(
format
ChineseTraditionalLanguage
otherLandUseArea
"%2 %n 是 %1 的 other 土地使用地區")
domainEnglishFormat.kif 1874-1874
(
format
EnglishLanguage
otherLandUseArea
"%2 is %n an other land use area of %1")
domainEnglishFormat.kif 1873-1873
(
termFormat
ChineseLanguage
otherLandUseArea
"其他土地使用面积")
domainEnglishFormat.kif 43164-43164
(
termFormat
ChineseTraditionalLanguage
otherLandUseArea
"其他土地使用面積")
domainEnglishFormat.kif 43163-43163
(
termFormat
EnglishLanguage
otherLandUseArea
"other land use area")
domainEnglishFormat.kif 43162-43162
antecedent
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
LandArea
例
GeographicArea
and
耕地
例
GeographicArea
and
永久性耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
consequent
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
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