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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 "annual revenues of area in period" is the printable form of annual revenues of area in period in english language

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


(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1494-1499 A geopolitical area annual revenues of area in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity 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 entity


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners