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

Formal Language: 



KB Term:  Term intersection
English Word: 

  laborForceFractionByOccupation

 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 1408-1413
(domain laborForceFractionByOccupation 1 GeopoliticalArea) Economy.kif 1404-1404 域 按職業劃分的勞動力比例, 1 and GeopoliticalArea
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1405-1405 域 按職業劃分的勞動力比例, 2 and Attribute
(domain laborForceFractionByOccupation 3 RealNumber) Economy.kif 1406-1406 域 按職業劃分的勞動力比例, 3 and RealNumber
(instance laborForceFractionByOccupation TernaryPredicate) Economy.kif 1403-1403 例 按職業劃分的勞動力比例 and TernaryPredicate

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

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 按職業期間劃分的勞動力比例 GeopoliticalArea, Attribute, RealNumber and TimeInterval TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners