PowerSource |
appearance as argument number 1 |
(documentation PowerSource EnglishLanguage "A source of electrical power.") | Mid-level-ontology.kif 2563-2563 | |
(subclass PowerSource Device) | Mid-level-ontology.kif 2565-2565 | PowerSource は デバイス の subclass では %n |
appearance as argument number 2 |
(subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 26355-26355 | ACPowerSource は PowerSource の subclass では %n |
(subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2575-2575 | DCPowerSource は PowerSource の subclass では %n |
(subclass SinglePhasePowerSource PowerSource) | engineering.kif 873-873 | SinglePhasePowerSource は PowerSource の subclass では %n |
(subclass ThreePhasePowerSource PowerSource) | engineering.kif 878-878 | ThreePhasePowerSource は PowerSource の subclass では %n |
(termFormat ChineseLanguage PowerSource "能量源") | domainEnglishFormat.kif 47060-47060 | |
(termFormat ChineseTraditionalLanguage PowerSource "能量源") | domainEnglishFormat.kif 47059-47059 | |
(termFormat EnglishLanguage PowerSource "power source") | domainEnglishFormat.kif 47058-47058 |
appearance as argument number 3 |
(domain voltageMeasure 1 PowerSource) | Mid-level-ontology.kif 26368-26368 | voltageMeasure の数値 1 引数は PowerSource の instance では %n |
antecedent |
consequent |