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 3374-3375 | |
(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 3373-3373 | 子類 輪 and Artifact |
appearance as argument number 2 |
(subclass CommodoreWheel Wheel) | Cars.kif 4518-4518 | 子類 CommodoreWheel and 輪 |
(subclass VehicleWheel Wheel) | Mid-level-ontology.kif 3368-3368 | 子類 車輪 and 輪 |
(termFormat ChineseLanguage Wheel "轮") | domainEnglishFormat.kif 62979-62979 | |
(termFormat ChineseTraditionalLanguage Wheel "輪") | domainEnglishFormat.kif 62978-62978 | |
(termFormat EnglishLanguage Wheel "wheel") | domainEnglishFormat.kif 62977-62977 |
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 2331-2343 | |
(=> (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 4795-4804 | |
(=> (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 4461-4471 | |
(=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE)))) |
Mid-level-ontology.kif 3377-3382 | |
(=> (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 4329-4342 | |
(=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 3914-3919 | |
(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 26117-26124 |