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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of capital expenditures of area in period is an instance of geopolitical area
(domain capitalExpendituresOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1534-1534 The number 2 argument of capital expenditures of area in period is an instance of currency measure
(domainSubclass capitalExpendituresOfAreaInPeriod 3 TimeInterval) Economy.kif 1535-1535 The number 3 argument of capital expenditures of area in period is a subclass of time interval
(instance capitalExpendituresOfAreaInPeriod TernaryPredicate) Economy.kif 1532-1532 capital expenditures of area in period is an instance of ternary predicate

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 "capital expenditures of area in period" is the printable form of capital expenditures of area in period in english language

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


(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1569-1574 A geopolitical area capital expenditures of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and an entity is a capital expenditures of area of the geopolitical area holds during the time position
(=>
    (and
        (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
        (annualExpendituresOfAreaInPeriod ?AREA ?TOTALAMOUNT ?PERIOD))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1544-1548


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