| 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 2042-2046 | |
| (domain electricityFractionFromSourceInPeriod 1 GeopoliticalArea) | Economy.kif 2037-2037 | |
| (domain electricityFractionFromSourceInPeriod 3 RealNumber) | Economy.kif 2039-2039 | |
| (domainSubclass electricityFractionFromSourceInPeriod 2 PowerGeneration) | Economy.kif 2038-2038 | |
| (domainSubclass electricityFractionFromSourceInPeriod 4 TimeInterval) | Economy.kif 2040-2040 | |
| (instance electricityFractionFromSourceInPeriod QuaternaryPredicate) | Economy.kif 2036-2036 |
| 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 21597-21597 | |
| (termFormat ChineseTraditionalLanguage electricityFractionFromSourceInPeriod "來自時期的電力部分") | domainEnglishFormat.kif 21596-21596 | |
| (termFormat EnglishLanguage electricityFractionFromSourceInPeriod "electricity fraction from source in period") | domainEnglishFormat.kif 21595-21595 |
| antecedent |
|
|
| (<=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION))))) |
Economy.kif 2067-2072 | |
| (=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 2048-2050 |
|
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