No TPTP formula. May not be expressible in strict first order. |
engineering.kif 743-743 |
models Transformer and Motor |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 795-795 |
ElectricalMotor est une sous-classe de Motor |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3930-3930 |
StarterMotor est une sous-classe de Motor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38783-38783 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38782-38782 |
|
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. |
engineering.kif 772-772 |
typicalPart Shaft and Motor |