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
Die Zahl 1 Argument von
naturalResourceTypeInArea
ist ein
fall
von
GeographicArea
%n{nicht}
(
domainSubclass
naturalResourceTypeInArea
2
Object
)
Geography.kif 1983-1983
Die Zahl 2 Argument von
naturalResourceTypeInArea
ist eine
teilkategorie
von
Object
%n{nicht}
(
instance
naturalResourceTypeInArea
BinaryPredicate
)
Geography.kif 1981-1981
naturalResourceTypeInArea
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
naturalResourceTypeInArea
GeographicArea
and
** Object
,
dann es gibt
Physical
um
** Physical
ist ein
fall
von
** Object
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
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