Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - annualExpendituresOfArea
annualExpendituresOfArea

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 2 CurrencyMeasure) Economy.kif 1515-1515
(instance annualExpendituresOfArea BinaryPredicate) Economy.kif 1513-1513

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

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners