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 1517-1521
(domain annualExpendituresOfArea 1 GeopoliticalArea)	Economy.kif 1514-1514	domain annualExpendituresOfArea, 1 and 地政学的地域
(domain annualExpendituresOfArea 2 CurrencyMeasure)	Economy.kif 1515-1515	domain annualExpendituresOfArea, 2 and 通貨測定
(instance annualExpendituresOfArea BinaryPredicate)	Economy.kif 1513-1513	instance annualExpendituresOfArea and 2進述語

appearance as argument number 2

(format EnglishLanguage annualExpendituresOfArea "%2 is %n an annual expenditures of area of %1")	domainEnglishFormat.kif 51-51
(termFormat EnglishLanguage annualExpendituresOfArea "annual expenditures of area")	domainEnglishFormat.kif 1714-1714	termFormat EnglishLanguage, annualExpendituresOfArea and "annual expenditures of area"

antecedent

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

Economy.kif 1562-1566

consequent

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

Economy.kif 1523-1528