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
ProjectileLauncher
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
Le nombre 1 argument de
terrainInArea
est une
instance
de
secteur g�ographique
(
domain
terrainInArea
2
TerrainAttribute
)
Geography.kif 1713-1713
Le nombre 2 argument de
terrainInArea
est une
instance
de
TerrainAttribute
(
instance
terrainInArea
AsymmetricRelation
)
Geography.kif 1711-1711
terrainInArea
est une
instance
de
relation asym�trique
(
instance
terrainInArea
BinaryPredicate
)
Geography.kif 1710-1710
terrainInArea
est une
instance
de
pr�dicat binaire
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
secteur g�ographique
and
TerrainAttribute
objet
objet
est une
instance
de
secteur g�ographique
TerrainAttribute
est un
attribut
de
objet
objet
est
partiellement
localis� �
secteur g�ographique
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
instance
?ATTRIBUTE
TerrainAttribute
)
(
partlyLocated
?REGION ?AREA))
(
terrainInArea
?AREA ?ATTRIBUTE))
Geography.kif 1727-1733
Secteur g�ographique
est une
instance
de
secteur g�ographique
TerrainAttribute
est un
attribut
de
objet
TerrainAttribute
est une
instance
de
TerrainAttribute
objet
est
partiellement
localis� �
secteur g�ographique
terrainInArea
secteur g�ographique
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