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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FiscalYearFn
FiscalYearFn

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


(documentation FiscalYearFn EnglishLanguage "(FiscalYearFn ?PLACE) denotes the subclass of TimeIntervals that are fiscalYearPeriods of the Organization or GeopoliticalArea ?PLACE.") Economy.kif 3815-3817
(domain FiscalYearFn 1 AutonomousAgent) Economy.kif 3812-3812 域 財政年度, 1 and AutonomousAgent
(instance FiscalYearFn UnaryFunction) Economy.kif 3811-3811 例 財政年度 and UnaryFunction
(rangeSubclass FiscalYearFn TimeInterval) Economy.kif 3813-3813 範圍子類 財政年度 and TimeInterval

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


(format ChineseLanguage FiscalYearFn "%1 的 fiscal 年") domainEnglishFormat.kif 1016-1016
(format ChineseTraditionalLanguage FiscalYearFn "%1 的 fiscal 年") domainEnglishFormat.kif 1015-1015
(format EnglishLanguage FiscalYearFn "the fiscal year of %1") domainEnglishFormat.kif 1014-1014
(termFormat ChineseLanguage FiscalYearFn "财政年度") domainEnglishFormat.kif 23984-23984
(termFormat ChineseTraditionalLanguage FiscalYearFn "財政年度") domainEnglishFormat.kif 23983-23983
(termFormat EnglishLanguage FiscalYearFn "fiscal year") domainEnglishFormat.kif 23982-23982

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


(=>
    (and
        (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityConsumption ?AREA ?AMOUNT)))))		 Economy.kif 2227-2236
(=>
    (and
        (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityExport ?AREA ?AMOUNT)))))		 Economy.kif 2271-2280
(=>
    (and
        (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityImport ?AREA ?AMOUNT)))))		 Economy.kif 2317-2326
(=>
    (and
        (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityProduction ?AREA ?AMOUNT)))))		 Economy.kif 2095-2104
(=>
    (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 2392-2401
(=>
    (and
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY
            (FiscalYearFn ?PLACE)))
    (instance ?FY ?PERIOD))		 Economy.kif 3825-3829
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2238-2245
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2282-2289
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2328-2335
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2106-2113
(=>
    (and
        (holdsDuring ?YEAR
            (annualExportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2403-2410
(=>
    (and
        (holdsDuring ?YEAR
            (annualImportTotal ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2709-2716
(=>
    (and
        (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualImportTotal ?AREA ?AMOUNT)))))		 Economy.kif 2698-2707
(=>
    (equal ?FY
        (FiscalYearFn ?PLACE))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 3819-3823
(=>
    (instance ?FY
        (FiscalYearFn ?PLACE))
    (duration ?FY
        (MeasureFn 1 YearDuration)))		 Economy.kif 3831-3833

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


(=>
    (and
        (instance ?PLACE AutonomousAgent)
        (subclass ?YEAR Year))
    (instance
        (FiscalYearStartingFn ?PLACE ?YEAR)
        (FiscalYearFn ?PLACE)))		 Economy.kif 3853-3857


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 is open source software produced by Articulate Software and its partners