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 1479-1483
(domain annualRevenuesOfAreaInPeriod 1 GeopoliticalArea) Economy.kif 1475-1475 annualRevenuesOfAreaInPeriod 的 1 数量 是 地缘政治区域instance
(domain annualRevenuesOfAreaInPeriod 2 CurrencyMeasure) Economy.kif 1476-1476 annualRevenuesOfAreaInPeriod 的 2 数量 是 货币测量instance
(domainSubclass annualRevenuesOfAreaInPeriod 3 TimeInterval) Economy.kif 1477-1477 annualRevenuesOfAreaInPeriod 的 3 数量 是 时距subclass
(instance annualRevenuesOfAreaInPeriod TernaryPredicate) Economy.kif 1474-1474 annualRevenuesOfAreaInPeriod三元谓语instance

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


(format EnglishLanguage annualRevenuesOfAreaInPeriod "%1 %n{doesn't} annual revenues of area in period %2 for %3") domainEnglishFormat.kif 56-56
(termFormat EnglishLanguage annualRevenuesOfAreaInPeriod "annual revenues of area in period") domainEnglishFormat.kif 1719-1719 termFormat EnglishLanguage, annualRevenuesOfAreaInPeriod and "annual revenues of area in period"

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


(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1494-1499 annualRevenuesOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceannualRevenuesOfArea 那个 地缘政治区域 and 那个 货币测量那个 时间位置 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners