| 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 1585-1587 | |
| (domain industryOfArea 1 GeopoliticalArea) | Economy.kif 1582-1582 | |
| (domain industryOfArea 2 IndustryAttribute) | Economy.kif 1583-1583 | |
| (instance industryOfArea BinaryPredicate) | Economy.kif 1581-1581 |
| 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 29898-29898 | |
| (termFormat ChineseTraditionalLanguage industryOfArea "區域產業") | domainEnglishFormat.kif 29897-29897 | |
| (termFormat EnglishLanguage industryOfArea "industry of area") | domainEnglishFormat.kif 29896-29896 |
| consequent |
|
|
| (=> (industryRankByOutput ?AREA ?SECTOR ?NTH) (industryOfArea ?AREA ?SECTOR)) |
Economy.kif 1599-1601 |
|
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