| 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 3913-3914 | |
| (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 3912-3912 |
| appearance as argument number 2 |
|
|
| (subclass CommodoreWheel Wheel) | Cars.kif 4533-4533 | |
| (subclass VehicleWheel Wheel) | Mid-level-ontology.kif 3907-3907 | |
| (termFormat ChineseLanguage Wheel "轮") | domainEnglishFormat.kif 62963-62963 | |
| (termFormat ChineseTraditionalLanguage Wheel "輪") | domainEnglishFormat.kif 62962-62962 | |
| (termFormat EnglishLanguage Wheel "wheel") | domainEnglishFormat.kif 62961-62961 |
| 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 1306-1321 |
| 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 2339-2351 | |
| (=> (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 4810-4819 | |
| (=> (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 4469-4479 | |
| (=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE)))) |
Mid-level-ontology.kif 3916-3921 | |
| (=> (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 4337-4350 | |
| (=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 4446-4451 | |
| (=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 24161-24168 |
|
|
|