PowerSource(power source) | ![]() | electric_main |
appearance as argument number 1 |
![]() |
(documentation PowerSource EnglishLanguage "A source of electrical power.") | Mid-level-ontology.kif 3026-3026 | |
(subclass PowerSource Device) | Mid-level-ontology.kif 3028-3028 | Power source is a subclass of device |
appearance as argument number 2 |
![]() |
(subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 28254-28254 | Ac power source is a subclass of power source |
(subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 3038-3038 | 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 47062-47062 | Three phase power source is a subclass of power source |
(termFormat ChineseTraditionalLanguage PowerSource "能量源") | domainEnglishFormat.kif 47061-47061 | Three phase power source is a subclass of power source |
(termFormat EnglishLanguage PowerSource "power source") | domainEnglishFormat.kif 47060-47060 | Three phase power source is a subclass of power source |
appearance as argument number 3 |
![]() |
(domain voltageMeasure 1 PowerSource) | Mid-level-ontology.kif 28267-28267 | The number 1 argument of voltage measure is an instance of power source |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |