AutoSuspensionSystem |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 719-721 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 717-717 | AutoSuspensionSystem est une sous-classe de PhysicalSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 727-727 | typicalPart AutoSuspensionSystem and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 726-726 | typicallyContainsPart AutoSuspensionSystem and Automobile |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 718-718 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 840-840 | typicalPart AutomobileShock and AutoSuspensionSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 896-896 | typicalPart LeafSpring and AutoSuspensionSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3238-3238 | typicalPart MacPhersonStrut and AutoSuspensionSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 725-725 | typicallyContainsPart Spring and AutoSuspensionSystem |