unemploymentRateOfArea - Sigma Knowledge base Browser

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	地区失业率的 1 数量是地缘政治区域的 instance
(domain unemploymentRateOfArea 2 RealNumber)	Economy.kif 1447-1447	地区失业率的 2 数量是实数的 instance
(instance unemploymentRateOfArea BinaryPredicate)	Economy.kif 1445-1445	地区失业率是二元谓语的 instance

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