|
|
   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 3367-3368 | |
| (externalImage Wheel "http://articulatesoftware.com/SUMOpictures/transportation/ autos/ Black_n_White/ WHEEL.png") | pictureList.kif 838-838 | |
| (externalImage Wheel "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Wheel_Iran.jpg") | pictureList.kif 200-200 | |
| (subclass Wheel Artifact) | Mid-level-ontology.kif 3366-3366 | 子類 輪 and Artifact |
| appearance as argument number 2 |
|
|
| (subclass CommodoreWheel Wheel) | Cars.kif 4495-4495 | 子類 CommodoreWheel and 輪 |
| (subclass VehicleWheel Wheel) | Mid-level-ontology.kif 3361-3361 | 子類 車輪 and 輪 |
| (termFormat ChineseLanguage Wheel "轮") | domainEnglishFormat.kif 62981-62981 | |
| (termFormat ChineseTraditionalLanguage Wheel "輪") | domainEnglishFormat.kif 62980-62980 | |
| (termFormat EnglishLanguage Wheel "wheel") | domainEnglishFormat.kif 62979-62979 |
| 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 2308-2320 | |
| (=> (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 4772-4781 | |
| (=> (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 4438-4448 | |
| (=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE)))) |
Mid-level-ontology.kif 3370-3375 | |
| (=> (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 4306-4319 | |
| (=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 3907-3912 | |
| (=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 26162-26169 |
|
|
|
