annualRevenuesOfAreaInPeriod - Sigma Knowledge base Browser

appearance as argument number 1

(instance annualRevenuesOfAreaInPeriod TernaryPredicate)	Economy.kif 1588-1588	annual revenues of area in period is an instance of ternary predicate
(domain annualRevenuesOfAreaInPeriod 1 GeopoliticalArea)	Economy.kif 1589-1589	The number 1 argument of annual revenues of area in period is an instance of geopolitical area
(domain annualRevenuesOfAreaInPeriod 2 CurrencyMeasure)	Economy.kif 1590-1590	The number 2 argument of annual revenues of area in period is an instance of currency measure
(domainSubclass annualRevenuesOfAreaInPeriod 3 TimeInterval)	Economy.kif 1591-1591	The number 3 argument of annual revenues of area in period is a subclass of timeframe
(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 1593-1597	The number 3 argument of annual revenues of area in period is a subclass of timeframe

appearance as argument number 2

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

antecedent

(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))

Economy.kif 1608-1613

X annual revenues of area in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is an annual revenues of area of X holds during W

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners