PowerSource(power source) | ![]() | electric_main |
appearance as argument number 1 |
![]() |
(documentation PowerSource EnglishLanguage "A source of electrical power.") | Mid-level-ontology.kif 2629-2629 | |
(subclass PowerSource Device) | Mid-level-ontology.kif 2631-2631 | Power source is a subclass of device |
appearance as argument number 2 |
![]() |
(subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 27450-27450 | Ac power source is a subclass of power source |
(subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2641-2641 | DC power source is a subclass of power source |
(subclass SinglePhasePowerSource PowerSource) | engineering.kif 1186-1186 | Single phase power source is a subclass of power source |
(subclass ThreePhasePowerSource PowerSource) | engineering.kif 1191-1191 | Three phase power source is a subclass of power source |
(termFormat ChineseLanguage PowerSource "能量源") | domainEnglishFormat.kif 47091-47091 | Three phase power source is a subclass of power source |
(termFormat ChineseTraditionalLanguage PowerSource "能量源") | domainEnglishFormat.kif 47090-47090 | Three phase power source is a subclass of power source |
(termFormat EnglishLanguage PowerSource "power source") | domainEnglishFormat.kif 47089-47089 | Three phase power source is a subclass of power source |
appearance as argument number 3 |
![]() |
(domain voltageMeasure 1 PowerSource) | Mid-level-ontology.kif 27463-27463 | The number 1 argument of voltage measure is an instance of power source |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |