| ElectricalMotor
|
| appearance as argument number 1 |
|
| (documentation ElectricalMotor EnglishLanguage "An electrical motor.") | engineering.kif 1106-1106 | |
| (externalImage ElectricalMotor "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Motors01CJC.jpg") | pictureList.kif 4671-4671 | |
| (lexicon ElectricalMotor LexNoun "electrical motor") | engineering.kif 1108-1108 | |
| (lexicon ElectricalMotor LexNoun "motor") | engineering.kif 1107-1107 | |
| (subclass ElectricalMotor ElectricDevice) | engineering.kif 1110-1110 | |
| (subclass ElectricalMotor Motor) | engineering.kif 1109-1109 |
| appearance as argument number 2 |
|
|
| (subclass DcMotor ElectricalMotor) | engineering.kif 1114-1114 | |
| (subclass InductionMotor ElectricalMotor) | engineering.kif 1129-1129 | |
| (termFormat ChineseLanguage ElectricalMotor "电动机") | domainEnglishFormat.kif 21533-21533 | |
| (termFormat ChineseTraditionalLanguage ElectricalMotor "電動機") | domainEnglishFormat.kif 21532-21532 | |
| (termFormat EnglishLanguage ElectricalMotor "electrical motor") | domainEnglishFormat.kif 21531-21531 |
| 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 2198-2213 |
|
|
|