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
naturalResourceTypeInArea
Sigma KEE - naturalResourceTypeInArea
naturalResourceTypeInArea
appearance as argument number 1
(
documentation
naturalResourceTypeInArea
EnglishLanguage
"(
naturalResourceTypeInArea
?REGION ?TYPE) means that the
GeographicArea
?REGION has resources of the kind ?TYPE.")
Geography.kif 1985-1987
(
domain
naturalResourceTypeInArea
1
GeographicArea
)
Geography.kif 1982-1982
Il numero 1 argomenti di
naturalResourceTypeInArea
è un
istanza
di
AreaGeografica
(
domainSubclass
naturalResourceTypeInArea
2
Object
)
Geography.kif 1983-1983
Il numero 2 argomento
naturalResourceTypeInArea
è una
sottoclasse
di
Oggetto
(
instance
naturalResourceTypeInArea
BinaryPredicate
)
Geography.kif 1981-1981
naturalResourceTypeInArea
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
naturalResourceTypeInArea
"%2 %n 在区域 %1 的 natural 资源类别")
domainEnglishFormat.kif 1787-1787
(
format
ChineseTraditionalLanguage
naturalResourceTypeInArea
"%2 %n 在區域 %1 的 natural 資源類別")
domainEnglishFormat.kif 1786-1786
(
format
EnglishLanguage
naturalResourceTypeInArea
"%2 is %n a natural resource type in area of %1")
domainEnglishFormat.kif 1785-1785
(
termFormat
ChineseLanguage
naturalResourceTypeInArea
"区域内的自然资源类型")
domainEnglishFormat.kif 39905-39905
(
termFormat
ChineseTraditionalLanguage
naturalResourceTypeInArea
"區域內的自然資源類型")
domainEnglishFormat.kif 39904-39904
(
termFormat
EnglishLanguage
naturalResourceTypeInArea
"natural resource type in area")
domainEnglishFormat.kif 39903-39903
antecedent
(=>
(
naturalResourceTypeInArea
?AREA ?TYPE)
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 1989-1994
naturalResourceTypeInArea
AreaGeografica
and
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è
localizzato
in
AreaGeografica
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