| No TPTP formula. May not be expressible in strict first order. | engineering.kif 795-795 | 电动机 是 发动机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 796-796 | 电动机 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 800-800 | 直流电动机 是 电动机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 815-815 | 感应电动机 是 电动机 的 subclass |
|
|