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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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
(domain capitalExpendituresOfArea 2 CurrencyMeasure) Economy.kif 1553-1553
(instance capitalExpendituresOfArea BinaryPredicate) Economy.kif 1551-1551

appearance as argument number 2

(format EnglishLanguage capitalExpendituresOfArea "%2 is %n a capital expenditures of area of %1") domainEnglishFormat.kif 99-99
(termFormat EnglishLanguage capitalExpendituresOfArea "capital expenditures of area") domainEnglishFormat.kif 2604-2604


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


    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1569-1574

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