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
Il numero 1 argomenti di
otherLandUseArea
è un
istanza
di
AreaGeografica
(
domain
otherLandUseArea
2
ConstantQuantity
)
Geography.kif 2156-2156
Il numero 2 argomenti di
otherLandUseArea
è un
istanza
di
Quantit�Costante
(
instance
otherLandUseArea
BinaryPredicate
)
Geography.kif 2154-2154
otherLandUseArea
è un'
istanza
di
PredicatoBinario
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 43166-43166
(
termFormat
ChineseTraditionalLanguage
otherLandUseArea
"其他土地使用面積")
domainEnglishFormat.kif 43165-43165
(
termFormat
EnglishLanguage
otherLandUseArea
"other land use area")
domainEnglishFormat.kif 43164-43164
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
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(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
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieTerrestre
AreaGeografica
è un'
istanza
di
ArableLand
AreaGeografica
è un'
istanza
di
PermanentCropLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
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
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(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