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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - unemploymentRateOfAreaInPeriod
unemploymentRateOfAreaInPeriod

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


(documentation unemploymentRateOfAreaInPeriod EnglishLanguage "(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD) means that the unemployment rate in the GeographicalArea ?AREA is ?RATE, during the TimeInterval indicated by ?PERIOD.") Economy.kif 1561-1564
(domain unemploymentRateOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1557-1557
(domain unemploymentRateOfAreaInPeriod 2 RealNumber) Economy.kif 1558-1558
(domainSubclass unemploymentRateOfAreaInPeriod 3 TimeInterval) Economy.kif 1559-1559
(instance unemploymentRateOfAreaInPeriod TernaryPredicate) Economy.kif 1556-1556

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


(format ChineseLanguage unemploymentRateOfAreaInPeriod "%1 %n 是 对于 %3 在周期 %2 地区的 unemployment 比例") domainEnglishFormat.kif 2567-2567
(format ChineseTraditionalLanguage unemploymentRateOfAreaInPeriod "%1 %n 是 對於 %3 在週期 %2 地區的 unemployment 比例") domainEnglishFormat.kif 2566-2566
(format EnglishLanguage unemploymentRateOfAreaInPeriod "%1 is %n unemployment rate of area in period %2 for %3") domainEnglishFormat.kif 2565-2565
(termFormat ChineseLanguage unemploymentRateOfAreaInPeriod "期间的失业率") domainEnglishFormat.kif 59910-59910
(termFormat ChineseTraditionalLanguage unemploymentRateOfAreaInPeriod "期間的失業率") domainEnglishFormat.kif 59909-59909
(termFormat EnglishLanguage unemploymentRateOfAreaInPeriod "unemployment rate of area in period") domainEnglishFormat.kif 59908-59908

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


(<=>
    (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (unemploymentRateOfArea ?AREA ?RATE)))))
Economy.kif 1581-1586
(=>
    (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
    (lessThanOrEqualTo ?RATE 1.0))
Economy.kif 1566-1568


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