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
Le nombre 1 argument de
otherLandUseArea
est une
instance
de
secteur g�ographique
(
domain
otherLandUseArea
2
ConstantQuantity
)
Geography.kif 2156-2156
Le nombre 2 argument de
otherLandUseArea
est une
instance
de
quantit� constante
(
instance
otherLandUseArea
BinaryPredicate
)
Geography.kif 2154-2154
otherLandUseArea
est une
instance
de
pr�dicat binaire
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
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
nombre r�el
est
nombre r�el
+
nombre r�el
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
zone de terre
secteur g�ographique
est une
instance
de
ArableLand
secteur g�ographique
est une
instance
de
PermanentCropLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(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
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
nombre r�el
est
nombre r�el
+
nombre r�el
otherLandUseArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(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