| appearance as argument number 1 |
|
| (documentation naturalResourceTypeInArea EnglishLanguage "(naturalResourceTypeInArea ?REGION ?TYPE) means that the GeographicArea ?REGION has resources of the kind ?TYPE.") | Geography.kif 1973-1975 | |
| (domain naturalResourceTypeInArea 1 GeographicArea) | Geography.kif 1970-1970 | The number 1 argument of natural resource type in area is an instance of geographic area |
| (domainSubclass naturalResourceTypeInArea 2 Object) | Geography.kif 1971-1971 | The number 2 argument of natural resource type in area is a subclass of object |
| (instance naturalResourceTypeInArea BinaryPredicate) | Geography.kif 1969-1969 | 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 39936-39936 | |
| (termFormat ChineseTraditionalLanguage naturalResourceTypeInArea "區域內的自然資源類型") | domainEnglishFormat.kif 39935-39935 | |
| (termFormat EnglishLanguage naturalResourceTypeInArea "natural resource type in area") | domainEnglishFormat.kif 39934-39934 |
| antecedent |
|
|
| (=> (naturalResourceTypeInArea ?AREA ?TYPE) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))) |
Geography.kif 1977-1982 |
|
|
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