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

Formal Language: 



KB Term:  Term intersection
English Word: 

  annualExpendituresOfAreaInPeriod

Sigma KEE - annualExpendituresOfAreaInPeriod
annualExpendituresOfAreaInPeriod

appearance as argument number 1
-------------------------


(documentation annualExpendituresOfAreaInPeriod EnglishLanguage "(annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that the annual budgetary expenditures of the GeopoliticalArea ?AREA are ?AMOUNT for the annual TimeInterval indicated by ?PERIOD, calculated in U.S. dollars according to the currency exchange rate method.") Economy.kif 1507-1511
(domain annualExpendituresOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1503-1503 annualExpendituresOfAreaInPeriod 的 1 数量 是 地缘政治区域instance
(domain annualExpendituresOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1504-1504 annualExpendituresOfAreaInPeriod 的 2 数量 是 货币测量instance
(domainSubclass annualExpendituresOfAreaInPeriod 3 TimeInterval) Economy.kif 1505-1505 annualExpendituresOfAreaInPeriod 的 3 数量 是 时距subclass
(instance annualExpendituresOfAreaInPeriod TernaryPredicate) Economy.kif 1502-1502 annualExpendituresOfAreaInPeriod三元谓语instance

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


(format EnglishLanguage annualExpendituresOfAreaInPeriod "%1 %n{doesn't} annual expenditures of area in period %2 for %3") domainEnglishFormat.kif 52-52
(termFormat EnglishLanguage annualExpendituresOfAreaInPeriod "annual expenditures of area in period") domainEnglishFormat.kif 1715-1715 termFormat EnglishLanguage, annualExpendituresOfAreaInPeriod and "annual expenditures of area in period"

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


(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1523-1528 annualExpendituresOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceannualExpendituresOfArea 那个 地缘政治区域 and 那个 货币测量那个 时间位置 holdsDuring
(=>
    (and
        (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
        (annualExpendituresOfAreaInPeriod ?AREA ?TOTALAMOUNT ?PERIOD))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1544-1548


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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