No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2568-2568 | 直流电源 是 能量源 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2570-2570 | 电池 是 直流电源 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3560-3560 | DevicePowerSupply 是 直流电源 的 subclass |