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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capitalExpendituresOfArea

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 capitalExpendituresOfArea 的 1 数量 是 地缘政治区域instance
(domain capitalExpendituresOfArea 2 CurrencyMeasure) Economy.kif 1553-1553 capitalExpendituresOfArea 的 2 数量 是 货币测量instance
(instance capitalExpendituresOfArea BinaryPredicate) Economy.kif 1551-1551 capitalExpendituresOfArea二元谓语instance

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 termFormat EnglishLanguage, capitalExpendituresOfArea and "capital expenditures of area"

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 ?AMOUNT)))))
Economy.kif 1569-1574 capitalExpendituresOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instancecapitalExpendituresOfArea 那个 地缘政治区域 and 实体那个 时间位置 holdsDuring


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