| 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 | |
| (domain industryOfArea 2 IndustryAttribute) | Economy.kif 1704-1704 | |
| (instance industryOfArea BinaryPredicate) | Economy.kif 1702-1702 |
| 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 29922-29922 | |
| (termFormat ChineseTraditionalLanguage industryOfArea "區域產業") | domainEnglishFormat.kif 29921-29921 | |
| (termFormat EnglishLanguage industryOfArea "industry of area") | domainEnglishFormat.kif 29920-29920 |
| 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