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
Il numero 1 argomenti di
terrainInArea
è un
istanza
di
AreaGeografica
(
domain
terrainInArea
2
TerrainAttribute
)
Geography.kif 1713-1713
Il numero 2 argomenti di
terrainInArea
è un
istanza
di
TerrainAttribute
(
instance
terrainInArea
AsymmetricRelation
)
Geography.kif 1711-1711
terrainInArea
è un'
istanza
di
RelazioneAsimmetrica
(
instance
terrainInArea
BinaryPredicate
)
Geography.kif 1710-1710
terrainInArea
è un'
istanza
di
PredicatoBinario
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
terrainInArea
AreaGeografica
and
TerrainAttribute
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
attribute
Oggetto
and
TerrainAttribute
Oggetto
è
in
parte localizzato in
AreaGeografica
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
instance
?ATTRIBUTE
TerrainAttribute
)
(
partlyLocated
?REGION ?AREA))
(
terrainInArea
?AREA ?ATTRIBUTE))
Geography.kif 1727-1733
AreaGeografica
è un'
istanza
di
AreaGeografica
attribute
Oggetto
and
TerrainAttribute
TerrainAttribute
è un'
istanza
di
TerrainAttribute
Oggetto
è
in
parte localizzato in
AreaGeografica
terrainInArea
AreaGeografica
and
TerrainAttribute
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