No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1724-1724 | 子類 發動機 and 傳感器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1748-1748 | 子類 蒸汽機 and 發動機 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1752-1752 | 子類 渦輪 and 發動機 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1760-1760 | 子類 內燃機 and 發動機 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1779-1779 | 子類 電動馬達 and 發動機 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4336-4336 | 子類 OutboardEngine and 發動機 |