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

Formal Language: 



KB Term:  Term intersection
English Word: 

  annualExportTotal

Sigma KEE - annualExportTotal
annualExportTotal

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


(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 2275-2279
(domain annualExportTotal 1 GeopoliticalArea) Economy.kif 2272-2272
(domain annualExportTotal 2 CurrencyMeasure) Economy.kif 2273-2273
(instance annualExportTotal BinaryPredicate) Economy.kif 2271-2271

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


(format EnglishLanguage annualExportTotal "%2 is %n an annual export total of %1") domainEnglishFormat.kif 53-53
(termFormat EnglishLanguage annualExportTotal "annual export total") domainEnglishFormat.kif 1716-1716

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


(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))
Economy.kif 2292-2299

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 2281-2290


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