electricityFractionFromSourceInPeriod |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2031-2035 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2026-2026 | 域 來自時期的電力部分, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2028-2028 | 域 來自時期的電力部分, 3 and RealNumber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2027-2027 | 域子類 來自時期的電力部分, 2 and 發電 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2029-2029 | 域子類 來自時期的電力部分, 4 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2025-2025 | 例 來自時期的電力部分 and QuaternaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 874-874 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 873-873 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 872-872 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21606-21606 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21605-21605 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21604-21604 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2056-2061 | GeopoliticalArea 是 對於 RealNumber 和 TimeInterval 在週期 發電 從來源的 electricity 分支 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea is 對於 RealNumber 從來源 發電 的 electricity 分支 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2037-2039 |
|