Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of natural resource type in area is an instance of geographic area
(domainSubclass naturalResourceTypeInArea 2 Object) Geography.kif 1983-1983 The number 2 argument of natural resource type in area is a subclass of object
(instance naturalResourceTypeInArea BinaryPredicate) Geography.kif 1981-1981 natural resource type in area is an instance of binary predicate

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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