| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1724-1724 | 发动机 是 传感器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1748-1748 | 蒸汽机 是 发动机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1752-1752 | 涡轮 是 发动机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1760-1760 | 内燃机 是 发动机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1779-1779 | 电动马达 是 发动机 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4336-4336 | OutboardEngine 是 发动机 的 subclass |
|
|