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 1531-1536
(domain capitalExpendituresOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1527-1527 O argumento numero 1 de capitalExpendituresOfAreaInPeriod e' uma instancia de Area Geopolitica
(domain capitalExpendituresOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1528-1528 O argumento numero 2 de capitalExpendituresOfAreaInPeriod e' uma instancia de Medida de Divisa
(domainSubclass capitalExpendituresOfAreaInPeriod 3 TimeInterval) Economy.kif 1529-1529 O argumento numero 3 de capitalExpendituresOfAreaInPeriod e' uma sub-classe de Intervalo Temporal
(instance capitalExpendituresOfAreaInPeriod TernaryPredicate) Economy.kif 1526-1526 capitalExpendituresOfAreaInPeriod e' uma instancia de Predicado Ternario

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 13092-13092
(termFormat ChineseTraditionalLanguage capitalExpendituresOfAreaInPeriod "期間面積的資本支出") domainEnglishFormat.kif 13091-13091
(termFormat EnglishLanguage capitalExpendituresOfAreaInPeriod "capital expenditures of area in period") domainEnglishFormat.kif 13090-13090

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


(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))
Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal capitalExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
(=>
    (and
        (capitalExpendituresOfAreaInPeriod ?AREA
            (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD)
        (annualExpendituresOfAreaInPeriod ?AREA
            (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD))
    (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544


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