![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AutoSuspensionSystem(auto suspension system) | suspension, suspension_system |
| appearance as argument number 1 |
|
|
| (subclass AutoSuspensionSystem PhysicalSystem) | Cars.kif 654-654 | Auto suspension system is a subclass of physical system |
| (documentation AutoSuspensionSystem EnglishLanguage "A system, typically consisting of Springs and Shocks that couples the Wheels or Axles of a RoadVehicle to the rest of the body, and serving to dampen the effect of uneven road surfaces on the occupants or cargo.") | Cars.kif 656-658 | Auto suspension system is a subclass of physical system |
| (typicallyContainsPart AutoSuspensionSystem Automobile) | Cars.kif 663-663 | A automobile typically has a part auto suspension system |
| (typicalPart AutoSuspensionSystem Automobile) | Cars.kif 664-664 | A auto suspension system is typically a part of a automobile |
| appearance as argument number 2 |
|
|