| appearance as argument number 1 |
|
| (documentation industryOfArea EnglishLanguage "(industryOfArea ?AREA ?SECTOR) means that the GeopoliticalArea ?AREA produces goods or services in the economic area ?SECTOR.") | Economy.kif 1706-1708 | |
| (domain industryOfArea 1 GeopoliticalArea) | Economy.kif 1703-1703 | The number 1 argument of industry of area is an instance of geopolitical area |
| (domain industryOfArea 2 IndustryAttribute) | Economy.kif 1704-1704 | The number 2 argument of industry of area is an instance of industry attribute |
| (instance industryOfArea BinaryPredicate) | Economy.kif 1702-1702 | industry of area is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage industryOfArea "%2 %n 是在地区 %1 的 industry ") | domainEnglishFormat.kif 1317-1317 | |
| (format ChineseTraditionalLanguage industryOfArea "%2 %n 是在地區 %1 的 industry ") | domainEnglishFormat.kif 1316-1316 | |
| (format EnglishLanguage industryOfArea "%2 is %n an industry of area of %1") | domainEnglishFormat.kif 1315-1315 | |
| (termFormat ChineseLanguage industryOfArea "区域产业") | domainEnglishFormat.kif 29939-29939 | |
| (termFormat ChineseTraditionalLanguage industryOfArea "區域產業") | domainEnglishFormat.kif 29938-29938 | |
| (termFormat EnglishLanguage industryOfArea "industry of area") | domainEnglishFormat.kif 29937-29937 |
| consequent |
|
|
| (=> (industryRankByOutput ?AREA ?SECTOR ?NTH) (industryOfArea ?AREA ?SECTOR)) |
Economy.kif 1720-1722 |
|
|
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