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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - unemploymentRateOfArea
unemploymentRateOfArea

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


(documentation unemploymentRateOfArea EnglishLanguage "(unemploymentRateOfArea ?AREA ?RATE) means that the unemployment rate in the GeographicalArea ?AREA is ?RATE.") Economy.kif 1448-1450
(domain unemploymentRateOfArea 1 GeopoliticalArea) Economy.kif 1446-1446
(domain unemploymentRateOfArea 2 RealNumber) Economy.kif 1447-1447
(instance unemploymentRateOfArea BinaryPredicate) Economy.kif 1445-1445

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


(format ChineseLanguage unemploymentRateOfArea "%1 %n 是 对于 %3 在地区 %2 的 unemployment 比例") domainEnglishFormat.kif 2567-2567
(format ChineseTraditionalLanguage unemploymentRateOfArea "%1 %n 是 對於 %3 在地區 %2 的 unemployment 比例") domainEnglishFormat.kif 2566-2566
(format EnglishLanguage unemploymentRateOfArea "%1 is %n unemployment rate of area %2 for %3") domainEnglishFormat.kif 2565-2565
(termFormat ChineseLanguage unemploymentRateOfArea "地区失业率") domainEnglishFormat.kif 59912-59912
(termFormat ChineseTraditionalLanguage unemploymentRateOfArea "地區失業率") domainEnglishFormat.kif 59911-59911
(termFormat EnglishLanguage unemploymentRateOfArea "unemployment rate of area") domainEnglishFormat.kif 59910-59910

antecedent
-------------------------


(=>
    (unemploymentRateOfArea ?AREA ?RATE)
    (lessThanOrEqualTo ?RATE 1.0))
Economy.kif 1452-1454

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


(<=>
    (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (unemploymentRateOfArea ?AREA ?RATE)))))
Economy.kif 1456-1461


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



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