WheelRim(rim) | felloe, felly, rim |
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 | Rim is a subclass of device |
appearance as argument number 2 |
(subclass FordWheelRim WheelRim) | Cars.kif 4911-4911 | Ford wheel is a subclass of rim |
(subclass SimmonsWheelRim WheelRim) | Cars.kif 4847-4847 | Simmons wheel is a subclass of rim |
(termFormat EnglishLanguage WheelRim "rim") | Cars.kif 4817-4817 |
antecedent |
(=> (instance ?WR WheelRim) (attribute ?WR Rigid)) |
Cars.kif 4819-4821 |
consequent |