No TPTP formula. May not be expressible in strict first order. |
engineering.kif 743-743 |
Transformer can be used as a model for motor |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 795-795 |
Electrical motor is a subclass of motor |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3945-3945 |
Starter motor is a subclass of motor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38781-38781 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38780-38780 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38779-38779 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 772-772 |
A shaft is typically a part of a motor |