electricityFractionFromSource - Sigma Knowledge base Browser

appearance as argument number 1

(instance electricityFractionFromSource TernaryPredicate)	Economy.kif 2276-2276	electricity fraction from source is an instance of ternary predicate
(domain electricityFractionFromSource 1 GeopoliticalArea)	Economy.kif 2277-2277	The number 1 argument of electricity fraction from source is an instance of geopolitical area
(domainSubclass electricityFractionFromSource 2 PowerGeneration)	Economy.kif 2278-2278	The number 2 argument of electricity fraction from source is a subclass of power generation
(domain electricityFractionFromSource 3 RealNumber)	Economy.kif 2279-2279	The number 3 argument of electricity fraction from source is an instance of real number
(documentation electricityFractionFromSource EnglishLanguage "(electricityFractionFromSource ?AREA ?SOURCE ?FRACTION) means that in the GeopoliticalArea ?AREA, ?SOURCE provides ?FRACTION of the total electricity production.")	Economy.kif 2281-2284	The number 3 argument of electricity fraction from source is an instance of real number

appearance as argument number 2

(format EnglishLanguage electricityFractionFromSource "%1 %p{is} %n{isn't} electricity fraction from source %2 for %3")	domainEnglishFormat.kif 867-867
(format ChineseTraditionalLanguage electricityFractionFromSource "%1 %p{is} %n{isn't} 對於 %3 從來源 %2 的 electricity 分支")	domainEnglishFormat.kif 868-868
(format ChineseLanguage electricityFractionFromSource "%1 %p{is} %n{isn't} 对于 %3 从来源 %2 的 electricity 分支")	domainEnglishFormat.kif 869-869
(termFormat EnglishLanguage electricityFractionFromSource "electricity fraction from source")	domainEnglishFormat.kif 21600-21600
(termFormat ChineseTraditionalLanguage electricityFractionFromSource "來自電力的電力部分")	domainEnglishFormat.kif 21601-21601
(termFormat ChineseLanguage electricityFractionFromSource "来自电力的电力部分")	domainEnglishFormat.kif 21602-21602

antecedent

(=>
(electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)
(lessThanOrEqualTo ?FRACTION 1.0))

If X is electricity fraction from source Y for Z, then Z is less than or equal to 1.0

consequent

(<=>
    (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))

X is electricity fraction from source in period Y for Z with W if, only if there exists V such that V is an instance of W, and X is electricity fraction from source Y for Z holds during V