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
O argumento numero 1 de
otherLandUseArea
e' uma
instancia
de
Area Geografica
(
domain
otherLandUseArea
2
ConstantQuantity
)
Geography.kif 2156-2156
O argumento numero 2 de
otherLandUseArea
e' uma
instancia
de
Quantidade Constante
(
instance
otherLandUseArea
BinaryPredicate
)
Geography.kif 2154-2154
otherLandUseArea
e' uma
instancia
de
Predicado Binario
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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Numero Real
e'
igual
a
Numero Real
+
Numero Real
otherLandUseArea
Area Geografica
and
Numero Real
Unidade de Medida
(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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
Area terrestre
Area Geografica
e' uma
instancia
de
ArableLand
Area Geografica
e' uma
instancia
de
PermanentCropLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(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
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Numero Real
e'
igual
a
Numero Real
+
Numero Real
otherLandUseArea
Area Geografica
and
Numero Real
Unidade de Medida
(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