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 naturalResourceTypeInArea の数値 1 引数は 地理的地域instance では %n
(domainSubclass naturalResourceTypeInArea 2 Object) Geography.kif 1983-1983 naturalResourceTypeInArea の数値 2 引数は オブジェクトsubclass では %n
(instance naturalResourceTypeInArea BinaryPredicate) Geography.kif 1981-1981 naturalResourceTypeInArea2進述語instance では %n

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