industryOfArea |
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 |
![]() |
![]() |