CombustionChamber(combustion chamber) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1704-1705 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1702-1702 | Combustion chamber is a subclass of device |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1714-1714 | Catalytic converter is a subclass of combustion chamber |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1703-1703 | Catalytic converter is a subclass of combustion chamber |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |