| 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 2031-2035 | |
| (domain electricityFractionFromSourceInPeriod 1 GeopoliticalArea) | Economy.kif 2026-2026 | |
| (domain electricityFractionFromSourceInPeriod 3 RealNumber) | Economy.kif 2028-2028 | |
| (domainSubclass electricityFractionFromSourceInPeriod 2 PowerGeneration) | Economy.kif 2027-2027 | |
| (domainSubclass electricityFractionFromSourceInPeriod 4 TimeInterval) | Economy.kif 2029-2029 | |
| (instance electricityFractionFromSourceInPeriod QuaternaryPredicate) | Economy.kif 2025-2025 |
| 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 | |
| (=> (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 2037-2039 |
|
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