laborForceFractionByOccupation - Sigma Knowledge base Browser

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 1533-1538
(domain laborForceFractionByOccupation 1 GeopoliticalArea)	Economy.kif 1529-1529
(domain laborForceFractionByOccupation 2 Attribute)	Economy.kif 1530-1530
(domain laborForceFractionByOccupation 3 RealNumber)	Economy.kif 1531-1531
(instance laborForceFractionByOccupation TernaryPredicate)	Economy.kif 1528-1528

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 33024-33024
(termFormat ChineseTraditionalLanguage laborForceFractionByOccupation "按職業劃分的勞動力比例")	domainEnglishFormat.kif 33023-33023
(termFormat EnglishLanguage laborForceFractionByOccupation "labor force fraction by occupation")	domainEnglishFormat.kif 33022-33022

antecedent

(=>
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)
(lessThanOrEqualTo ?FRACTION 1.0))

Economy.kif 1540-1542

consequent

(<=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))

Economy.kif 1544-1549