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 数量 是 地缘政治区域instance
(domain laborForceTotal 2 NonnegativeRealNumber) Economy.kif 1366-1366 劳动力总数 的 2 数量 是 非负实数instance
(instance laborForceTotal BinaryPredicate) Economy.kif 1364-1364 劳动力总数二元谓语instance

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 地缘政治区域 是 对于 有点 时距 在周期 非负实数labor 总力量 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 非负实数那个 地缘政治区域labor 总力量 在 那个 时间位置 holdsDuring


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