|
|
   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 3346-3347 | |
| (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 3345-3345 | Wheel est une sous-classe de artefact |
| appearance as argument number 2 |
|
|
| (subclass CommodoreWheel Wheel) | Cars.kif 4510-4510 | CommodoreWheel est une sous-classe de Wheel |
| (subclass VehicleWheel Wheel) | Mid-level-ontology.kif 3340-3340 | VehicleWheel est une sous-classe de Wheel |
| (termFormat ChineseLanguage Wheel "轮") | domainEnglishFormat.kif 62988-62988 | |
| (termFormat ChineseTraditionalLanguage Wheel "輪") | domainEnglishFormat.kif 62987-62987 | |
| (termFormat EnglishLanguage Wheel "wheel") | domainEnglishFormat.kif 62986-62986 |
| 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 4787-4796 | |
| (=> (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 4453-4463 | |
| (=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE)))) |
Mid-level-ontology.kif 3349-3354 | |
| (=> (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 4321-4334 | |
| (=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 3881-3886 | |
| (=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 26227-26234 |
|
|
|
