|
|
   DevelopmentalAttribute 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 3253-3253 | typicalPart MacPhersonStrut and AutoSuspensionSystem |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 725-725 | typicallyContainsPart Spring and AutoSuspensionSystem |
|
|
|