TreeView Knowledge Base Browser - 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	The number 1 argument of unemployment rate of area is an instance of geopolitical area
(domain unemploymentRateOfArea 2 RealNumber)	Economy.kif 1447-1447	The number 2 argument of unemployment rate of area is an instance of real number
(instance unemploymentRateOfArea BinaryPredicate)	Economy.kif 1445-1445	unemployment rate of area is an instance of binary predicate

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 59914-59914
(termFormat ChineseTraditionalLanguage unemploymentRateOfArea "地區失業率")	domainEnglishFormat.kif 59913-59913
(termFormat EnglishLanguage unemploymentRateOfArea "unemployment rate of area")	domainEnglishFormat.kif 59912-59912

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