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 EnglishLanguage laborForceTotal "%2 is %n a labor force total of %1") domainEnglishFormat.kif 363-363
(termFormat EnglishLanguage laborForceTotal "labor force total") domainEnglishFormat.kif 5922-5922

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