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
terrainInArea
の数値 1 引数は
地理的地域
の
instance
では %n
(
domain
terrainInArea
2
TerrainAttribute
)
Geography.kif 1713-1713
terrainInArea
の数値 2 引数は
TerrainAttribute
の
instance
では %n
(
instance
terrainInArea
AsymmetricRelation
)
Geography.kif 1711-1711
terrainInArea
は
非対称関係
の
instance
では %n
(
instance
terrainInArea
BinaryPredicate
)
Geography.kif 1710-1710
terrainInArea
は
2進述語
の
instance
では %n
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
地理的地域
and
TerrainAttribute
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
TerrainAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
partly
に
地理的地域
に 位置して %n
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
instance
?ATTRIBUTE
TerrainAttribute
)
(
partlyLocated
?REGION ?AREA))
(
terrainInArea
?AREA ?ATTRIBUTE))
Geography.kif 1727-1733
地理的地域
は
地理的地域
の
instance
では %n
TerrainAttribute
は
オブジェクト
の
attribute
では %n
TerrainAttribute
は
TerrainAttribute
の
instance
では %n
オブジェクト
は
partly
に
地理的地域
に 位置して %n
terrainInArea
地理的地域
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