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 4807-4808 | |
(subclass WheelRim Device) | Cars.kif 4806-4806 | WheelRim e' uma sub-classe de Aparelho |
appearance as argument number 2 |
(subclass FordWheelRim WheelRim) | Cars.kif 4903-4903 | FordWheelRim e' uma sub-classe de WheelRim |
(subclass SimmonsWheelRim WheelRim) | Cars.kif 4839-4839 | SimmonsWheelRim e' uma sub-classe de WheelRim |
(termFormat EnglishLanguage WheelRim "rim") | Cars.kif 4809-4809 |
antecedent |
(=> (instance ?WR WheelRim) (attribute ?WR Rigid)) |
Cars.kif 4811-4813 |
consequent |