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
O argumento numero 1 de
terrainInArea
e' uma
instancia
de
Area Geografica
(
domain
terrainInArea
2
TerrainAttribute
)
Geography.kif 1713-1713
O argumento numero 2 de
terrainInArea
e' uma
instancia
de
TerrainAttribute
(
instance
terrainInArea
AsymmetricRelation
)
Geography.kif 1711-1711
terrainInArea
e' uma
instancia
de
Relacao Assimetrica
(
instance
terrainInArea
BinaryPredicate
)
Geography.kif 1710-1710
terrainInArea
e' uma
instancia
de
Predicado Binario
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 57584-57584
(
termFormat
ChineseTraditionalLanguage
terrainInArea
"區域內的地形")
domainEnglishFormat.kif 57583-57583
(
termFormat
EnglishLanguage
terrainInArea
"terrain in area")
domainEnglishFormat.kif 57582-57582
antecedent
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
terrainInArea
Area Geografica
and
TerrainAttribute
Objeto
Objeto
e' uma
instancia
de
Area Geografica
TerrainAttribute
e' um
atributo
de
Objeto
Objeto
e'
parcialmente
localizado em
Area Geografica
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
instance
?ATTRIBUTE
TerrainAttribute
)
(
partlyLocated
?REGION ?AREA))
(
terrainInArea
?AREA ?ATTRIBUTE))
Geography.kif 1727-1733
Area Geografica
e' uma
instancia
de
Area Geografica
TerrainAttribute
e' um
atributo
de
Objeto
TerrainAttribute
e' uma
instancia
de
TerrainAttribute
Objeto
e'
parcialmente
localizado em
Area Geografica
terrainInArea
Area Geografica
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