laborForceFractionByOccupation |
appearance as argument number 1 |
(documentation laborForceFractionByOccupation EnglishLanguage "(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION) means that in the GeopoliticalArea ?AREA, workers in the job area ?SECTOR make up ?FRACTION of the labor force. The unemployed are not included in these figures. Occupation may be indicated by an OccupationalRole or an IndustryAttribute.") | Economy.kif 1408-1413 | |
(domain laborForceFractionByOccupation 1 GeopoliticalArea) | Economy.kif 1404-1404 | laborForceFractionByOccupation の数値 1 引数は 地政学的地域 の instance では %n |
(domain laborForceFractionByOccupation 2 Attribute) | Economy.kif 1405-1405 | laborForceFractionByOccupation の数値 2 引数は 属性 の instance では %n |
(domain laborForceFractionByOccupation 3 RealNumber) | Economy.kif 1406-1406 | laborForceFractionByOccupation の数値 3 引数は 実数 の instance では %n |
(instance laborForceFractionByOccupation TernaryPredicate) | Economy.kif 1403-1403 | laborForceFractionByOccupation は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage laborForceFractionByOccupation "") | domainEnglishFormat.kif 1413-1413 | |
(format ChineseTraditionalLanguage laborForceFractionByOccupation "") | domainEnglishFormat.kif 1412-1412 | |
(format EnglishLanguage laborForceFractionByOccupation "%1 %n{doesn't} labor force fraction by occupation %2 for %3") | domainEnglishFormat.kif 1411-1411 | |
(termFormat ChineseLanguage laborForceFractionByOccupation "按职业划分的劳动力比例") | domainEnglishFormat.kif 33013-33013 | |
(termFormat ChineseTraditionalLanguage laborForceFractionByOccupation "按職業劃分的勞動力比例") | domainEnglishFormat.kif 33012-33012 | |
(termFormat EnglishLanguage laborForceFractionByOccupation "labor force fraction by occupation") | domainEnglishFormat.kif 33011-33011 |
antecedent |
(=> (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1415-1417 |
consequent |
(<=> (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1419-1424 | laborForceFractionByOccupationInPeriod 地政学的地域, 属性, 実数 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n laborForceFractionByOccupation 地政学的地域, 属性 and 実数 は 時間位置 の during holds %n{ない} |