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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - capitalExpendituresOfArea
capitalExpendituresOfArea

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


(documentation capitalExpendituresOfArea EnglishLanguage "(capitalExpendituresOfArea ?AREA ?AMOUNT) means that the annual capital expenditures of the GeopoliticalArea ?AREA are ?AMOUNT, calculated in U.S. dollars according to the currency exchange rate method. This figure is a portion of the annualExpendituresOfArea for ?AREA.") Economy.kif 1555-1560
(domain capitalExpendituresOfArea 1 GeopoliticalArea) Economy.kif 1552-1552 The number 1 argument of capital expenditures of area is an instance of geopolitical area
(domain capitalExpendituresOfArea 2 CurrencyMeasure) Economy.kif 1553-1553 The number 2 argument of capital expenditures of area is an instance of currency measure
(instance capitalExpendituresOfArea BinaryPredicate) Economy.kif 1551-1551 capital expenditures of area is an instance of binary predicate

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


(format ChineseLanguage capitalExpendituresOfArea "%2 %n 是 %1 的 capital 地区支出") domainEnglishFormat.kif 360-360
(format ChineseTraditionalLanguage capitalExpendituresOfArea "%2 %n 是 %1 的 capital 地區支出") domainEnglishFormat.kif 359-359
(format EnglishLanguage capitalExpendituresOfArea "%2 is %n a capital expenditures of area of %1") domainEnglishFormat.kif 358-358
(termFormat ChineseLanguage capitalExpendituresOfArea "地区的资本支出") domainEnglishFormat.kif 13027-13027 "地区的资本支出" is the printable form of capital expenditures of area in ChineseLanguage
(termFormat ChineseTraditionalLanguage capitalExpendituresOfArea "地區的資本支出") domainEnglishFormat.kif 13026-13026 "地區的資本支出" is the printable form of capital expenditures of area in ChineseTraditionalLanguage
(termFormat EnglishLanguage capitalExpendituresOfArea "capital expenditures of area") domainEnglishFormat.kif 13025-13025 "capital expenditures of area" is the printable form of capital expenditures of area in english language

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


(=>
    (and
        (holdsDuring ?TIME
            (capitalExpendituresOfArea ?AREA ?CAPAMOUNT))
        (holdsDuring ?TIME
            (annualExpendituresOfArea ?AREA ?TOTALAMOUNT)))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1562-1566

consequent
-------------------------


(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))
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 the currency measure is a capital expenditures of area of the geopolitical area holds during the time position


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