|
|
   Wheel
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Wheel EnglishLanguage "A circular Artifact which is a component of LandVehicles and of some Devices.") | Mid-level-ontology.kif 3309-3310 | |
| (externalImage Wheel "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Wheel_Iran.jpg") | pictureList.kif 200-200 | |
| (externalImage Wheel "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ autos/ Black_n_White/ WHEEL.png") | pictureList.kif 838-838 | |
| (subclass Wheel Artifact) | Mid-level-ontology.kif 3308-3308 |
| appearance as argument number 2 |
|
|
| (subclass CommodoreWheel Wheel) | Cars.kif 4513-4513 | |
| (subclass VehicleWheel Wheel) | Mid-level-ontology.kif 3303-3303 | |
| (termFormat ChineseLanguage Wheel "轮") | domainEnglishFormat.kif 62946-62946 | |
| (termFormat ChineseTraditionalLanguage Wheel "輪") | domainEnglishFormat.kif 62945-62945 | |
| (termFormat EnglishLanguage Wheel "wheel") | domainEnglishFormat.kif 62944-62944 |
| antecedent |
|
|
| (=> (and (instance ?T Transportation) (instance ?W Wheel) (instance ?A Automobile) (part ?W ?A) (instrument ?T ?A) (instance ?AB AntilockBrake) (instance ?D Decelerating) (instrument ?D ?AB) (part ?AB ?W)) (hasPurpose ?AB (exists (?R) (and (instance ?R Rotating) (during ?R ?D))))) |
Cars.kif 1292-1307 |
| consequent |
|
|
| (=> (instance ?D Driveshaft) (hasPurpose ?D (exists (?R1 ?R2 ?W ?A) (and (instance ?A Automobile) (instance ?W Wheel) (part ?D ?A) (part ?W ?A) (instance ?R1 Rotating) (patient ?R1 ?D) (patient ?R2 ?W) (causes ?R1 ?R2))))) |
Cars.kif 2325-2337 | |
| (=> (instance ?T Tire) (hasPurpose ?T (exists (?W ?R) (and (instance ?W Wheel) (instance ?R WheelRim) (part ?T ?W) (part ?R ?W) (covers ?T ?R))))) |
Cars.kif 4790-4799 | |
| (=> (instance ?TC TireChain) (hasPurpose ?TC (exists (?V ?W ?F) (and (instance ?V RoadVehicle) (instance ?W Wheel) (part ?W ?V) (instance ?F Friction) (covers ?TC ?W) (instrument ?F ?TC))))) |
Cars.kif 4456-4466 | |
| (=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE)))) |
Mid-level-ontology.kif 3312-3317 | |
| (=> (instance ?WC WheelChock) (hasPurpose ?WC (exists (?W ?T) (and (instance ?W Wheel) (holdsDuring ?T (and (meetsSpatially ?WC ?W) (not (exists (?R) (and (instance ?R Rotating) (patient ?R ?W)))))))))) |
Cars.kif 4324-4337 | |
| (=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 3844-3849 | |
| (=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 25351-25358 |
|
|
|
