Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - laborForceFractionByOccupation
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 1414-1419
(domain laborForceFractionByOccupation 1 GeopoliticalArea) Economy.kif 1410-1410 The number 1 argument of labor force fraction by occupation is an instance of geopolitical area
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1411-1411 The number 2 argument of labor force fraction by occupation is an instance of attribute
(domain laborForceFractionByOccupation 3 RealNumber) Economy.kif 1412-1412 The number 3 argument of labor force fraction by occupation is an instance of real number
(instance laborForceFractionByOccupation TernaryPredicate) Economy.kif 1409-1409 labor force fraction by occupation is an instance of ternary predicate

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

antecedent
-------------------------


(=>
    (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))
Economy.kif 1421-1423

consequent
-------------------------


(<=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1425-1430 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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners