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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capitalExpendituresOfAreaInPeriod

Sigma KEE - capitalExpendituresOfAreaInPeriod
capitalExpendituresOfAreaInPeriod

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


(documentation capitalExpendituresOfAreaInPeriod EnglishLanguage "(capitalExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that the annual capital 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. This figure is a portion of the annualExpendituresOfArea for ?AREA in ?PERIOD.") Economy.kif 1537-1542
(domain capitalExpendituresOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1533-1533
(domain capitalExpendituresOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1534-1534
(domainSubclass capitalExpendituresOfAreaInPeriod 3 TimeInterval) Economy.kif 1535-1535
(instance capitalExpendituresOfAreaInPeriod TernaryPredicate) Economy.kif 1532-1532

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


(format EnglishLanguage capitalExpendituresOfAreaInPeriod "%1 %n{doesn't} capital expenditures of area in period %2 for %3") domainEnglishFormat.kif 100-100
(termFormat EnglishLanguage capitalExpendituresOfAreaInPeriod "capital expenditures of area in period") domainEnglishFormat.kif 2605-2605

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


(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1569-1574
(=>
    (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