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 1656-1661
(domain capitalExpendituresOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1652-1652 capitalExpendituresOfAreaInPeriod の数値 1 引数は 地政学的地域 の instance では
(domain capitalExpendituresOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1653-1653 capitalExpendituresOfAreaInPeriod の数値 2 引数は 通貨測定 の instance では
(domainSubclass capitalExpendituresOfAreaInPeriod 3 TimeInterval) Economy.kif 1654-1654 capitalExpendituresOfAreaInPeriod の数値 3 引数は 時間間隔 のsubclass では
(instance capitalExpendituresOfAreaInPeriod TernaryPredicate) Economy.kif 1651-1651 capitalExpendituresOfAreaInPeriod は 3進述語 の instance では

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


(format ChineseLanguage capitalExpendituresOfAreaInPeriod "%1 %n{不是} 在周期 %2 对于 %3 的 capital 地区支出") domainEnglishFormat.kif 364-364
(format ChineseTraditionalLanguage capitalExpendituresOfAreaInPeriod "%1 %n{不是} 在週期 %2 對於 %3 的 capital 地區支出") domainEnglishFormat.kif 363-363
(format EnglishLanguage capitalExpendituresOfAreaInPeriod "%1 %n{doesn't} capital expenditures of area in period %2 for %3") domainEnglishFormat.kif 362-362
(termFormat ChineseLanguage capitalExpendituresOfAreaInPeriod "期间面积的资本支出") domainEnglishFormat.kif 13101-13101
(termFormat ChineseTraditionalLanguage capitalExpendituresOfAreaInPeriod "期間面積的資本支出") domainEnglishFormat.kif 13100-13100
(termFormat EnglishLanguage capitalExpendituresOfAreaInPeriod "capital expenditures of area in period") domainEnglishFormat.kif 13099-13099

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


(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))		 Economy.kif 1690-1695 capitalExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では capitalExpendituresOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds
(=>
    (and
        (capitalExpendituresOfAreaInPeriod ?AREA
            (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD)
        (annualExpendituresOfAreaInPeriod ?AREA
            (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))		 Economy.kif 1663-1669


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 3.0 is open source software produced by Articulate Software and its partners