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
Die Zahl 1 Argument von
otherLandUseArea
ist ein
fall
von
GeographicArea
%n{nicht}
(
domain
otherLandUseArea
2
ConstantQuantity
)
Geography.kif 2156-2156
Die Zahl 2 Argument von
otherLandUseArea
ist ein
fall
von
ConstantQuantity
%n{nicht}
(
instance
otherLandUseArea
BinaryPredicate
)
Geography.kif 2154-2154
otherLandUseArea
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
otherLandUseArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und
** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht},
dann
otherLandUseArea
** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
otherLandUseArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
LandArea
%n{nicht} und
** ** GeographicArea
ist ein
fall
von
ArableLand
nicht und
** ** GeographicArea
ist ein
fall
von
PermanentCropLand
nicht und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
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
Wenn
otherLandUseArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und
** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht},
dann
otherLandUseArea
** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(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