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

Formal Language: 



KB Term:  Term intersection
English Word: 

  annualRevenuesOfAreaInPeriod

Sigma KEE - annualRevenuesOfAreaInPeriod
annualRevenuesOfAreaInPeriod

appearance as argument number 1
-------------------------


(documentation annualRevenuesOfAreaInPeriod EnglishLanguage "(annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD) means that the annual budgetary revenues 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.") Economy.kif 1473-1477
(domain annualRevenuesOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1469-1469 annualRevenuesOfAreaInPeriod の数値 1 引数は 地政学的地域instance では %n
(domain annualRevenuesOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1470-1470 annualRevenuesOfAreaInPeriod の数値 2 引数は 通貨測定instance では %n
(domainSubclass annualRevenuesOfAreaInPeriod 3 TimeInterval) Economy.kif 1471-1471 annualRevenuesOfAreaInPeriod の数値 3 引数は 時間間隔subclass では %n
(instance annualRevenuesOfAreaInPeriod TernaryPredicate) Economy.kif 1468-1468 annualRevenuesOfAreaInPeriod3進述語instance では %n

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


(format ChineseLanguage annualRevenuesOfAreaInPeriod "%1 %n{不是} annual 对于 %3 在周期 %2 的地区收入") domainEnglishFormat.kif 188-188
(format ChineseTraditionalLanguage annualRevenuesOfAreaInPeriod "%1 %n{不是} annual 對於 %3 在週期 %2 的地區收入") domainEnglishFormat.kif 187-187
(format EnglishLanguage annualRevenuesOfAreaInPeriod "%1 %n{doesn't} annual revenues of area in period %2 for %3") domainEnglishFormat.kif 186-186
(termFormat ChineseLanguage annualRevenuesOfAreaInPeriod "期间面积的年收入") domainEnglishFormat.kif 7710-7710
(termFormat ChineseTraditionalLanguage annualRevenuesOfAreaInPeriod "期間面積的年收入") domainEnglishFormat.kif 7709-7709
(termFormat EnglishLanguage annualRevenuesOfAreaInPeriod "annual revenues of area in period") domainEnglishFormat.kif 7708-7708

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


(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n annualRevenuesOfArea 地政学的地域 and 通貨測定 時間位置during holds %n{ない}


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