WheelRim
|
|
appearance as argument number 1 |
(documentation WheelRim EnglishLanguage "The rigid portion of a Wheel on a RoadVehicle that is designed to have a Tire that covers it.") | Cars.kif 4815-4816 | |
(subclass WheelRim Device) | Cars.kif 4814-4814 | WheelRim e' uma sub-classe de Aparelho |
appearance as argument number 2 |
(subclass FordWheelRim WheelRim) | Cars.kif 4911-4911 | FordWheelRim e' uma sub-classe de WheelRim |
(subclass SimmonsWheelRim WheelRim) | Cars.kif 4847-4847 | SimmonsWheelRim e' uma sub-classe de WheelRim |
(termFormat EnglishLanguage WheelRim "rim") | Cars.kif 4817-4817 |
antecedent |
(=> (instance ?WR WheelRim) (attribute ?WR Rigid)) |
Cars.kif 4819-4821 |
consequent |