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 1725-1727 | |
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 1724-1724 | 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 1779-1779 | Electric motor is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1760-1760 | Internal combustion engine is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4336-4336 | Outboard motor is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1748-1748 | Steam engine is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1752-1752 | Turbine is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22078-22078 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22077-22077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22076-22076 |
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 compression ratio is an instance of engine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4525-4525 | The number 1 argument of engine cylinders 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 max cylinder volume 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 min cylinder volume 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 piston stroke is an instance of engine |
antecedent |
consequent |