laborForceFractionByOccupation - Sigma Knowledge base Browser

appearance as argument number 1

(instance laborForceFractionByOccupation TernaryPredicate)	Economy.kif 1523-1523	labor force fraction by occupation is an instance of ternary predicate
(domain laborForceFractionByOccupation 1 GeopoliticalArea)	Economy.kif 1524-1524	The number 1 argument of labor force fraction by occupation is an instance of geopolitical area
(domain laborForceFractionByOccupation 2 Attribute)	Economy.kif 1525-1525	The number 2 argument of labor force fraction by occupation is an instance of attribute
(domain laborForceFractionByOccupation 3 RealNumber)	Economy.kif 1526-1526	The number 3 argument of labor force fraction by occupation is an instance of real number
(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 1528-1533	The number 3 argument of labor force fraction by occupation is an instance of real number

appearance as argument number 2

(format EnglishLanguage laborForceFractionByOccupation "%1 %n{doesn't} labor force fraction by occupation %2 for %3")	domainEnglishFormat.kif 1411-1411
(termFormat EnglishLanguage laborForceFractionByOccupation "labor force fraction by occupation")	domainEnglishFormat.kif 33015-33015
(termFormat ChineseTraditionalLanguage laborForceFractionByOccupation "按職業劃分的勞動力比例")	domainEnglishFormat.kif 33016-33016
(termFormat ChineseLanguage laborForceFractionByOccupation "按职业划分的劳动力比例")	domainEnglishFormat.kif 33017-33017

antecedent

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

Economy.kif 1535-1537

If X labor force fraction by occupation Y for Z, then Z is less than or equal to 1.0

consequent

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

Economy.kif 1539-1544

X labor force fraction by occupation in period Y for Z with W if, only if there exists V such that V is an instance of W, and X labor force fraction by occupation Y for Z holds during V

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners