Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  arableLandArea
arableLandArea
appearance as argument number 1
(
documentation
arableLandArea
EnglishLanguage
"(
arableLandArea
?REGION ?AMOUNT) means that the
GeographicArea
?REGION has ?AMOUNT of land under cultivation with crops that are replanted after each harvest. ?AMOUNT may be expressed in physical units or with a percent or fraction. Cf.
permanentCropLandArea
.")
Geography.kif 20132017
(
domain
arableLandArea
1
GeographicArea
)
Geography.kif 20102010
The number 1 argument of
arable land area
is an
instance
of
geographic area
(
domain
arableLandArea
2
ConstantQuantity
)
Geography.kif 20112011
The number 2 argument of
arable land area
is an
instance
of
constant quantity
(
instance
arableLandArea
BinaryPredicate
)
Geography.kif 20092009
arable land area
is an
instance
of
binary predicate
appearance as argument number 2
(
format
EnglishLanguage
arableLandArea
"%2 is %n an arable land area of %1")
domainEnglishFormat.kif 5757
(
termFormat
EnglishLanguage
arableLandArea
"arable land area")
domainEnglishFormat.kif 17901790
"arable land area" is the
printable
form
of
arable land area
in
english language
antecedent
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 20282035
If
a constant quantity
is an
arable
land area of
a geographic area
and
the constant quantity
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
another constant quantity
is
equal
to
the constant quantity
and
the real number
the unit of measure
(s),
then
the other constant quantity
is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 20372047
If
a constant quantity
is an
arable
land area of
a geographic area
and
the constant quantity
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the constant quantity
and
the real number
the unit of measure
(s)
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 20192026
If
a constant quantity
is an
arable
land area of
a geographic area
and
the constant quantity
is
greater
than or equal to 0 and
an area measure
is a
total
area of
the geographic area
and
the area measure
is an
instance
of
area measure
and
another constant quantity
is
equal
to
the constant quantity
and
the area measure
,
then
the other constant quantity
is an
arable
land area of
the geographic area
consequent
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 20282035
If
a constant quantity
is an
arable
land area of
a geographic area
and
the constant quantity
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
another constant quantity
is
equal
to
the constant quantity
and
the real number
the unit of measure
(s),
then
the other constant quantity
is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 20192026
If
a constant quantity
is an
arable
land area of
a geographic area
and
the constant quantity
is
greater
than or equal to 0 and
an area measure
is a
total
area of
the geographic area
and
the area measure
is an
instance
of
area measure
and
another constant quantity
is
equal
to
the constant quantity
and
the area measure
,
then
the other constant quantity
is an
arable
land area of
the geographic area
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners