![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2605-2608 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2603-2603 | Exhaust manifold is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2610-2610 | A exhaust manifold is typically a part of a exhaust system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2611-2611 | A exhaust system typically has a part exhaust manifold |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2604-2604 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3345-3345 | A manifold absolute pressure sensor is typically a part of a exhaust manifold |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2659-2665 |
|
![]() |
![]() |