annualExpendituresOfArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation annualExpendituresOfArea EnglishLanguage "(annualExpendituresOfArea ?AREA ?AMOUNT) means that the annual budgetary expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. dollars according to the currency exchange rate method.")	Economy.kif 1636-1640
(domain annualExpendituresOfArea 1 GeopoliticalArea)	Economy.kif 1633-1633	annualExpendituresOfArea の数値 1 引数は地政学的地域の instance では
(domain annualExpendituresOfArea 2 CurrencyMeasure)	Economy.kif 1634-1634	annualExpendituresOfArea の数値 2 引数は通貨測定の instance では
(instance annualExpendituresOfArea BinaryPredicate)	Economy.kif 1632-1632	annualExpendituresOfArea は 2進述語の instance では

appearance as argument number 2

(format ChineseLanguage annualExpendituresOfArea "%2 %n 是 %1 在 annual 地区消费")	domainEnglishFormat.kif 168-168
(format ChineseTraditionalLanguage annualExpendituresOfArea "%2 %n 是 %1 在 annual 地區消費")	domainEnglishFormat.kif 167-167
(format EnglishLanguage annualExpendituresOfArea "%2 is %n an annual expenditures of area of %1")	domainEnglishFormat.kif 166-166
(termFormat ChineseLanguage annualExpendituresOfArea "区域年度支出")	domainEnglishFormat.kif 7681-7681
(termFormat ChineseTraditionalLanguage annualExpendituresOfArea "區域年度支出")	domainEnglishFormat.kif 7680-7680
(termFormat EnglishLanguage annualExpendituresOfArea "annual expenditures of area")	domainEnglishFormat.kif 7679-7679

antecedent

(=>
    (and
        (holdsDuring ?TIME
            (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))
        (holdsDuring ?TIME
            (annualExpendituresOfArea ?AREA ?TOTALAMOUNT)))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))

Economy.kif 1683-1687

consequent

(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))

Economy.kif 1642-1647