| appearance as argument number 1 |
|
| (documentation electricityFractionFromSourceInPeriod EnglishLanguage "(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, ?SOURCE provides ?FRACTION of the total electricity production during the TimeInterval indicated by ?PERIOD.") | Economy.kif 2146-2150 | |
| (domain electricityFractionFromSourceInPeriod 1 GeopoliticalArea) | Economy.kif 2141-2141 | |
| (domain electricityFractionFromSourceInPeriod 3 RealNumber) | Economy.kif 2143-2143 | |
| (domainSubclass electricityFractionFromSourceInPeriod 2 PowerGeneration) | Economy.kif 2142-2142 | |
| (domainSubclass electricityFractionFromSourceInPeriod 4 TimeInterval) | Economy.kif 2144-2144 | |
| (instance electricityFractionFromSourceInPeriod QuaternaryPredicate) | Economy.kif 2140-2140 |
| 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 21617-21617 | |
| (termFormat ChineseTraditionalLanguage electricityFractionFromSourceInPeriod "來自時期的電力部分") | domainEnglishFormat.kif 21616-21616 | |
| (termFormat EnglishLanguage electricityFractionFromSourceInPeriod "electricity fraction from source in period") | domainEnglishFormat.kif 21615-21615 |
| antecedent |
|
|
| (<=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION))))) |
Economy.kif 2171-2176 | |
| (=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 2152-2154 |
|
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