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	unemploymentRateOfArea の数値 1 引数は地政学的地域の instance では %n
(domain unemploymentRateOfArea 2 RealNumber)	Economy.kif 1447-1447	unemploymentRateOfArea の数値 2 引数は実数の instance では %n
(instance unemploymentRateOfArea BinaryPredicate)	Economy.kif 1445-1445	unemploymentRateOfArea は 2進述語の instance では %n

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