Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - annualExportTotal
annualExportTotal

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


(instance annualExportTotal BinaryPredicate) Economy.kif 2502-2502 annual export total is an instance of binary predicate
(domain annualExportTotal 1 GeopoliticalArea) Economy.kif 2503-2503 The number 1 argument of annual export total is an instance of geopolitical area
(domain annualExportTotal 2 CurrencyMeasure) Economy.kif 2504-2504 The number 2 argument of annual export total is an instance of currency measure
(documentation annualExportTotal EnglishLanguage "(annualExportTotal ?AREA ?AMOUNT) means that the total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) annually. Export value is calculated on a Free on Board (F.O.B.) basis.") Economy.kif 2506-2510 The number 2 argument of annual export total is an instance of currency measure

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


(format EnglishLanguage annualExportTotal "%2 is %n an annual export total of %1") domainEnglishFormat.kif 174-174
(format ChineseTraditionalLanguage annualExportTotal "%2 %n 是 %1 的 annual 總共輸出") domainEnglishFormat.kif 175-175
(format ChineseLanguage annualExportTotal "%2 %n 是 %1 的 annual 总共输出") domainEnglishFormat.kif 176-176
(termFormat EnglishLanguage annualExportTotal "annual export total") domainEnglishFormat.kif 7685-7685
(termFormat ChineseTraditionalLanguage annualExportTotal "年出口總額") domainEnglishFormat.kif 7686-7686
(termFormat ChineseLanguage annualExportTotal "年出口总额") domainEnglishFormat.kif 7687-7687

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


(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2523-2530 If X is an annual export total of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y export total in period X for W

consequent
-------------------------


(=>
    (and
        (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualExportTotal ?AREA ?AMOUNT)))))		 Economy.kif 2512-2521 If X export total in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual export total 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners