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
terrainInArea
Sigma KEE - terrainInArea
terrainInArea
appearance as argument number 1
(
documentation
terrainInArea
EnglishLanguage
"(
terrainInArea
?AREA ?ATTRIBUTE) means that the
GeographicArea
?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE.")
Geography.kif 1715-1717
(
domain
terrainInArea
1
GeographicArea
)
Geography.kif 1712-1712
The number 1 argument of
terrain in area
is an
instance
of
geographic area
(
domain
terrainInArea
2
TerrainAttribute
)
Geography.kif 1713-1713
The number 2 argument of
terrain in area
is an
instance
of
terrain attribute
(
instance
terrainInArea
AsymmetricRelation
)
Geography.kif 1711-1711
terrain in area
is an
instance
of
asymmetric relation
(
instance
terrainInArea
BinaryPredicate
)
Geography.kif 1710-1710
terrain in area
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
terrainInArea
"%2 %n 是在區域 %1 的 terrain ")
domainEnglishFormat.kif 2463-2463
(
format
ChineseTraditionalLanguage
terrainInArea
"%2 %n 是在區域 %1 的 terrain ")
domainEnglishFormat.kif 2462-2462
(
format
EnglishLanguage
terrainInArea
"%2 is %n a terrain in area of %1")
domainEnglishFormat.kif 2461-2461
(
termFormat
ChineseLanguage
terrainInArea
"区域内的地形")
domainEnglishFormat.kif 57586-57586
(
termFormat
ChineseTraditionalLanguage
terrainInArea
"區域內的地形")
domainEnglishFormat.kif 57585-57585
(
termFormat
EnglishLanguage
terrainInArea
"terrain in area")
domainEnglishFormat.kif 57584-57584
antecedent
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
If
a terrain attribute
is a
terrain
in area of
a geographic area
,
then there exists
an object
such that
the object
is an
instance
of
geographic area
and
the terrain attribute
is an
attribute
of
the object
and
the object
is
partly
located in
the geographic area
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
instance
?ATTRIBUTE
TerrainAttribute
)
(
partlyLocated
?REGION ?AREA))
(
terrainInArea
?AREA ?ATTRIBUTE))
Geography.kif 1727-1733
If
a geographic area
is an
instance
of
geographic area
and
a terrain attribute
is an
attribute
of
an object
and
the terrain attribute
is an
instance
of
terrain attribute
and
the object
is
partly
located in
the geographic area
,
then
the terrain attribute
is a
terrain
in area of
the geographic area
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