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 1368-1371
(domain laborForceTotal 1 GeopoliticalArea) Economy.kif 1365-1365 勞動力總數, 1 and GeopoliticalArea
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1366-1366 勞動力總數, 2 and NonnegativeRealNumber
(instance laborForceTotal BinaryPredicate) Economy.kif 1364-1364 勞動力總數 and BinaryPredicate

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 33025-33025
(termFormat ChineseTraditionalLanguage laborForceTotal "勞動力總數") domainEnglishFormat.kif 33024-33024
(termFormat EnglishLanguage laborForceTotal "labor force total") domainEnglishFormat.kif 33023-33023

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


(<=>
    (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceTotal ?AREA ?AMOUNT)))))
Economy.kif 1373-1378 GeopoliticalArea 是 對於 TimeInterval 在週期 NonnegativeRealNumberlabor 總力量 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber GeopoliticalArealabor 總力量


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