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 1551-1556
(domain capitalExpendituresOfArea 1 GeopoliticalArea) Economy.kif 1548-1548 地区的资本支出 的 1 数量 是 地缘政治区域instance
(domain capitalExpendituresOfArea 2 CurrencyMeasure) Economy.kif 1549-1549 地区的资本支出 的 2 数量 是 货币测量instance
(instance capitalExpendituresOfArea BinaryPredicate) Economy.kif 1547-1547 地区的资本支出二元谓语instance

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 13086-13086
(termFormat ChineseTraditionalLanguage capitalExpendituresOfArea "地區的資本支出") domainEnglishFormat.kif 13085-13085
(termFormat EnglishLanguage capitalExpendituresOfArea "capital expenditures of area") domainEnglishFormat.kif 13084-13084

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


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

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


(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))
Economy.kif 1565-1570 地缘政治区域 在周期 货币测量 对于 有点 时距capital 地区支出 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 地缘政治区域capital 地区支出 在 那个 时间位置 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 3.0 is open source software produced by Articulate Software and its partners