| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2565-2565 | 子類 能量源 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2575-2575 | 子類 直流電源 and 能量源 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26355-26355 | 子類 ACPowerSource and 能量源 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 873-873 | 子類 單相電源 and 能量源 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 878-878 | 子類 三相電源 and 能量源 |
|
|