TreeView Knowledge Base Browser - electricityFractionFromSourceInPeriod

appearance as argument number 2

(format ChineseLanguage electricityFractionFromSourceInPeriod "%1 %p{是} %n{不是} 对于 %3 和 %4 在周期 %2 从来源的 electricity 分支")	domainEnglishFormat.kif 874-874
(format ChineseTraditionalLanguage electricityFractionFromSourceInPeriod "%1 %p{是} %n{不是} 對於 %3 和 %4 在週期 %2 從來源的 electricity 分支")	domainEnglishFormat.kif 873-873
(format EnglishLanguage electricityFractionFromSourceInPeriod "%1 %p{is} %n{isn't} electricity fraction from source in period %2 for %3 with %4")	domainEnglishFormat.kif 872-872
(termFormat ChineseLanguage electricityFractionFromSourceInPeriod "来自时期的电力部分")	domainEnglishFormat.kif 21606-21606
(termFormat ChineseTraditionalLanguage electricityFractionFromSourceInPeriod "來自時期的電力部分")	domainEnglishFormat.kif 21605-21605
(termFormat EnglishLanguage electricityFractionFromSourceInPeriod "electricity fraction from source in period")	domainEnglishFormat.kif 21604-21604

antecedent

(<=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))	Economy.kif 2056-2061	GeopoliticalArea 是對於 RealNumber 和 TimeInterval 在週期發電從來源的 electricity 分支 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea is 對於 RealNumber 從來源發電的 electricity 分支
(=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 2037-2039	GeopoliticalArea 是對於 RealNumber 和 TimeInterval 在週期發電從來源的 electricity 分支小於或等於 RealNumber and 1.0