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 23600-23600 | 汽油发动机 是 内燃机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23611-23611 | 柴油发动机 是 内燃机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 85-85 | ContinuousCombustionEngine 是 内燃机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 90-90 | 涡轮 是 内燃机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 91-91 | IntermittentCombustionEngine 是 内燃机 的 subclass |