| Wheel(wheel)
|
| appearance as argument number 1 |
|
| (subclass Wheel Artifact) | Mid-level-ontology.kif 3833-3833 | Wheel is a subclass of artifact |
| (documentation Wheel EnglishLanguage "A circular Artifact which is a component of LandVehicles and of some Devices.") | Mid-level-ontology.kif 3834-3835 | Wheel is a subclass of artifact |
| (externalImage Wheel "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Wheel_Iran.jpg") | pictureList.kif 200-200 | Wheel is a subclass of artifact |
| (externalImage Wheel "http://articulatesoftware.com/SUMOpictures/transportation/ autos/ Black_n_White/ WHEEL.png") | pictureList.kif 838-838 | Wheel is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?GUN ArtilleryGun) (modalAttribute (exists (?W) (and (instance ?W Wheel) (part ?W ?GUN))) Likely)) |
Mid-level-ontology.kif 1848-1854 | If X is an instance of artillery gun, then the statement there exists Y such that Y is an instance of wheel and Y is a part of X has the modal force of likely |
| (=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE)))) |
Mid-level-ontology.kif 3837-3842 | If X is an instance of land vehicle, then there exists Y such that Y is an instance of wheel and Y is a part of X |
| (=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 4374-4379 | If X is an instance of rollaway bed, then there exists Y such that Y is an instance of wheel and Y is a part of X |
| (=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 28795-28802 | If X is an instance of wheelchair, then there exist Y, Z such that Z is an instance of seat, Y is an instance of wheel, Z is a part of X, and Y is a part of X |
| (=> (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 2315-2327 | If X is an instance of driveshaft, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that V is an instance of automobile (3) W is an instance of wheel (4) X is a part of V (5) W is a part of V (6) Y is an instance of rotating (7) X is a patient of Y (8) W is a patient of Z (9) Y causes Z |
| (=> (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 4399-4412 | If X is an instance of wheel chock, then X has the purpose there exist Y, Z such that Y is an instance of wheel, X meets Y, there doesn't exist W such that W is an instance of rotating, and Y is a patient of W holds during Z |
| (=> (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 4531-4541 | If X is an instance of snow chain, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of road vehicle (3) Z is an instance of wheel (4) Z is a part of Y (5) W is an instance of friction (6) X covers Z (7) X is an instrument for W |
| (=> (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 4865-4874 | If X is an instance of tire, then X has the purpose there exist Y, Z such that Y is an instance of wheel, Z is an instance of rim, X is a part of Y, Z is a part of Y, and X covers Z |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?I ?TREAD ?R2) (and (instance ?COLL Collection) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R)))) |
Military.kif 193-212 | If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X |
|
|
|