|
|
   ElectricalMotor
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ElectricalMotor EnglishLanguage "An electrical motor.") | engineering.kif 792-792 | |
| (externalImage ElectricalMotor "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Motors01CJC.jpg") | pictureList.kif 4672-4672 | |
| (lexicon ElectricalMotor LexNoun "electrical motor") | engineering.kif 794-794 | |
| (lexicon ElectricalMotor LexNoun "motor") | engineering.kif 793-793 | |
| (subclass ElectricalMotor ElectricDevice) | engineering.kif 796-796 | 子類 電動機 and 電器 |
| (subclass ElectricalMotor Motor) | engineering.kif 795-795 | 子類 電動機 and 發動機 |
| appearance as argument number 2 |
|
|
| (subclass DcMotor ElectricalMotor) | engineering.kif 800-800 | 子類 直流電動機 and 電動機 |
| (subclass InductionMotor ElectricalMotor) | engineering.kif 815-815 | 子類 感應電動機 and 電動機 |
| (termFormat ChineseLanguage ElectricalMotor "电动机") | domainEnglishFormat.kif 21522-21522 | |
| (termFormat ChineseTraditionalLanguage ElectricalMotor "電動機") | domainEnglishFormat.kif 21521-21521 | |
| (termFormat EnglishLanguage ElectricalMotor "electrical motor") | domainEnglishFormat.kif 21520-21520 |
| consequent |
|
|
| (=> (and (attribute ?OBJECT ?ATTRIBUTE) (instance ?ATTRIBUTE Brushless)) (instance ?OBJECT ElectricalMotor)) |
engineering.kif 716-720 | |
| (=> (instance ?EC EngineCranking) (exists (?EM ?E ?S ?R1 ?C ?R2) (and (instance ?EM ElectricalMotor) (instance ?E InternalCombustionEngine) (instance ?S Shaft) (instance ?C Crankshaft) (part ?S ?EM) (subProcess ?R1 ?EC) (instance ?R1 Rotating) (patient ?R1 ?S) (instance ?R2 Rotating) (patient ?R2 ?C) (part ?C ?E) (causes ?R1 ?R2)))) |
Cars.kif 2221-2236 |
|
|
|
|
