| ExhaustManifold | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2604-2607 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2602-2602 | ExhaustManifold est une sous-classe de appareil |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2609-2609 | typicalPart ExhaustManifold and AutomobileExhaustSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2610-2610 | typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2603-2603 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3269-3269 | typicalPart EngineMAPSensor and ExhaustManifold |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2630-2639 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2612-2628 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2658-2664 |
|
|
|