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

Formal Language: 



KB Term:  Term intersection
English Word: 

  laborForceTotal

Sigma KEE - laborForceTotal
laborForceTotal

appearance as argument number 1
-------------------------


(documentation laborForceTotal EnglishLanguage "(laborForceTotal ?AREA ?AMOUNT) means that the total labor force of the GeopoliticalArea ?AREA is ?AMOUNT. This includes unemployed workers.") Economy.kif 1374-1377
(domain laborForceTotal 1 GeopoliticalArea) Economy.kif 1371-1371
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1372-1372
(instance laborForceTotal BinaryPredicate) Economy.kif 1370-1370

appearance as argument number 2
-------------------------


(format ChineseLanguage laborForceTotal "%2 %n 是 %1 的 labor 总力量") domainEnglishFormat.kif 1419-1419
(format ChineseTraditionalLanguage laborForceTotal "%2 %n 是 %1 的 labor 總力量") domainEnglishFormat.kif 1418-1418
(format EnglishLanguage laborForceTotal "%2 is %n a labor force total of %1") domainEnglishFormat.kif 1417-1417
(termFormat ChineseLanguage laborForceTotal "劳动力总数") domainEnglishFormat.kif 33019-33019
(termFormat ChineseTraditionalLanguage laborForceTotal "勞動力總數") domainEnglishFormat.kif 33018-33018
(termFormat EnglishLanguage laborForceTotal "labor force total") domainEnglishFormat.kif 33017-33017

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


(<=>
    (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceTotal ?AREA ?AMOUNT)))))
Economy.kif 1379-1384


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