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 1436-1439
(domain unemploymentRateOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1432-1432 unemploymentRateOfAreaInPeriod の数値 1 引数は 地政学的地域instance では %n
(domain unemploymentRateOfAreaInPeriod 2 RealNumber) Economy.kif 1433-1433 unemploymentRateOfAreaInPeriod の数値 2 引数は 実数instance では %n
(domainSubclass unemploymentRateOfAreaInPeriod 3 TimeInterval) Economy.kif 1434-1434 unemploymentRateOfAreaInPeriod の数値 3 引数は 時間間隔subclass では %n
(instance unemploymentRateOfAreaInPeriod TernaryPredicate) Economy.kif 1431-1431 unemploymentRateOfAreaInPeriod3進述語instance では %n

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


(format ChineseLanguage unemploymentRateOfAreaInPeriod "%1 %n 是 对于 %3 在周期 %2 地区的 unemployment 比例") domainEnglishFormat.kif 2571-2571
(format ChineseTraditionalLanguage unemploymentRateOfAreaInPeriod "%1 %n 是 對於 %3 在週期 %2 地區的 unemployment 比例") domainEnglishFormat.kif 2570-2570
(format EnglishLanguage unemploymentRateOfAreaInPeriod "%1 is %n unemployment rate of area in period %2 for %3") domainEnglishFormat.kif 2569-2569
(termFormat ChineseLanguage unemploymentRateOfAreaInPeriod "期间的失业率") domainEnglishFormat.kif 59918-59918
(termFormat ChineseTraditionalLanguage unemploymentRateOfAreaInPeriod "期間的失業率") domainEnglishFormat.kif 59917-59917
(termFormat EnglishLanguage unemploymentRateOfAreaInPeriod "unemployment rate of area in period") domainEnglishFormat.kif 59916-59916

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


(<=>
    (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (unemploymentRateOfArea ?AREA ?RATE)))))
Economy.kif 1456-1461 unemploymentRateOfAreaInPeriod 地政学的地域, 実数 and 時間間隔 時間位置 時間位置 時間間隔instance では %n unemploymentRateOfArea 地政学的地域 and 実数 時間位置during holds %n{ない}
(=>
    (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
    (lessThanOrEqualTo ?RATE 1.0))
Economy.kif 1441-1443


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