Engine(engine)![]() | ![]() | automobile_engine, external-combustion_engine |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1682-1684 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 86-86 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1681-1681 | Engine is a subclass of transducer |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1738-1738 | Electric motor is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1719-1719 | Internal combustion engine is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4339-4339 | Outboard motor is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1707-1707 | Steam engine is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1711-1711 | Turbine is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22071-22071 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22070-22070 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22069-22069 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1920-1920 | The number 1 argument of compressionRatio is an instance of engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4528-4528 | The number 1 argument of engineCylinders is an instance of engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1890-1890 | The number 1 argument of maxCylinderVolume is an instance of engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1859-1859 | The number 1 argument of minCylinderVolume is an instance of engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1936-1936 | The number 1 argument of pistonStroke is an instance of engine |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |