PowerSource(power source) | ![]() | electric_main |
appearance as argument number 1 |
![]() |
(documentation PowerSource EnglishLanguage "A source of electrical power.") | Mid-level-ontology.kif 3032-3032 | |
(subclass PowerSource Device) | Mid-level-ontology.kif 3034-3034 | Power source is a subclass of device |
appearance as argument number 2 |
![]() |
(subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 28000-28000 | Ac power source is a subclass of power source |
(subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 3044-3044 | 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 28013-28013 | The number 1 argument of voltage measure is an instance of power source |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |