laborForceFractionByOccupation |
appearance as argument number 1 |
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 | A geopolitical area labor force fraction by occupation in period an attribute for a real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area labor force fraction by occupation the attribute for the real number holds during the time position |