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


KB Term:  Term intersection
English Word: 

Sigma KEE - exportTotalInPeriod
exportTotalInPeriod

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


(instance exportTotalInPeriod TernaryPredicate) Economy.kif 2491-2491 export total in period is an instance of ternary predicate
(domain exportTotalInPeriod 1 GeopoliticalArea) Economy.kif 2492-2492 The number 1 argument of export total in period is an instance of geopolitical area
(domain exportTotalInPeriod 2 CurrencyMeasure) Economy.kif 2493-2493 The number 2 argument of export total in period is an instance of currency measure
(domainSubclass exportTotalInPeriod 3 TimeInterval) Economy.kif 2494-2494 The number 3 argument of export total in period is a subclass of timeframe
(documentation exportTotalInPeriod EnglishLanguage "(exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. Export value is calculated on a Free on Board (F.O.B.) basis.") Economy.kif 2496-2500 The number 3 argument of export total in period is a subclass of timeframe

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


(format EnglishLanguage exportTotalInPeriod "%1 %n{doesn't} export total in period %2 for %3") domainEnglishFormat.kif 973-973
(format ChineseTraditionalLanguage exportTotalInPeriod "%1 %n{不} 對於 %3 在週期 %2 export 全部") domainEnglishFormat.kif 974-974
(format ChineseLanguage exportTotalInPeriod "%1 %n{不} 对于 %3 在周期 %2 export 全部") domainEnglishFormat.kif 975-975
(termFormat EnglishLanguage exportTotalInPeriod "export total in period") domainEnglishFormat.kif 22930-22930
(termFormat ChineseTraditionalLanguage exportTotalInPeriod "期間出口總額") domainEnglishFormat.kif 22931-22931
(termFormat ChineseLanguage exportTotalInPeriod "期间出口总额") domainEnglishFormat.kif 22932-22932

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


(=>
    (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

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


(=>
    (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


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