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, 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 annualExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 instance 時間位置 and 時間間隔 holdsDuring 時間位置 and annualExpendituresOfArea 地政学的地域 and 通貨測定


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