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 区域内的自然资源类型 的 1 数量 是 地理区域instance
(domainSubclass naturalResourceTypeInArea 2 Object) Geography.kif 1983-1983 区域内的自然资源类型 的 2 数量 是 客体subclass
(instance naturalResourceTypeInArea BinaryPredicate) Geography.kif 1981-1981 区域内的自然资源类型二元谓语instance

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 39903-39903
(termFormat ChineseTraditionalLanguage naturalResourceTypeInArea "區域內的自然資源類型") domainEnglishFormat.kif 39902-39902
(termFormat EnglishLanguage naturalResourceTypeInArea "natural resource type in area") domainEnglishFormat.kif 39901-39901

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