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 1484-1488
(domain annualRevenuesOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1480-1480 The number 1 argument of annual revenues of area in period is an instance of geopolitical area
(domain annualRevenuesOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1481-1481 The number 2 argument of annual revenues of area in period is an instance of currency measure
(domainSubclass annualRevenuesOfAreaInPeriod 3 TimeInterval) Economy.kif 1482-1482 The number 3 argument of annual revenues of area in period is a subclass of time interval
(instance annualRevenuesOfAreaInPeriod TernaryPredicate) Economy.kif 1479-1479 annual revenues of area in period is an instance of ternary predicate

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 7719-7719
(termFormat ChineseTraditionalLanguage annualRevenuesOfAreaInPeriod "期間面積的年收入") domainEnglishFormat.kif 7718-7718
(termFormat EnglishLanguage annualRevenuesOfAreaInPeriod "annual revenues of area in period") domainEnglishFormat.kif 7717-7717

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


(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1499-1504 A geopolitical area annual revenues of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an annual revenues of area of the geopolitical area holds during the time position


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