| Walking(walking)
| | Rollerblade, afoot, amble, ambulate, ambulation, angry_walk, break, bumble, canter, careen, circumambulate, clamber, climb, climb_up, clomp, clump, cock, coggle, constitutional, constitutionalize, countermarch, crab, creep, curvet, debouch, dodder, dogtrot, drag, dressage, drift, err, escalade, exhibit, falter, fast_break, file, file_in, file_out, fire_walking, flounce, flounder, foot, footer, footslog, footstep, forage, gait, gallop, gimp, go_up... |
| appearance as argument number 1 |
|
|
| (subclass Walking Ambulating) | Merge.kif 11305-11305 | Walking is a subclass of ambulating |
| (documentation Walking EnglishLanguage "Ambulating relatively slowly, i.e. moving in such a way that at least one foot is always in contact with the ground.") | Merge.kif 11307-11308 | Walking is a subclass of ambulating |
| (externalImage Walking "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ Walk_Cycle.gif") | pictureList.kif 3276-3276 | Walking is a subclass of ambulating |
| (externalImage Walking "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Marcheur_en_comp%C3%A9tion.jpg") | pictureList.kif 3277-3277 | Walking is a subclass of ambulating |
| appearance as argument number 2 |
|
|
| (partition Ambulating Walking Running) | Merge.kif 11299-11299 | Ambulating is exhaustively partitioned into walking and running |
| (subclass Wading Walking) | Mid-level-ontology.kif 528-528 | Wading is a subclass of walking |
| (subclass Hiking Walking) | Offers.kif 306-306 | Hiking is a subclass of walking |
| (subclass WalkingTour Walking) | Offers.kif 308-308 | WalkingTour is a subclass of walking |
| (termFormat EnglishLanguage Walking "walking") | english_format.kif 1447-1447 | WalkingTour is a subclass of walking |
| antecedent |
|
|
| (=> (and (instance ?WALK Walking) (instance ?RUN Running) (agent ?WALK ?AGENT) (agent ?RUN ?AGENT) (holdsDuring (WhenFn ?WALK) (measure ?AGENT (SpeedFn ?LENGTH1 ?TIME))) (holdsDuring (WhenFn ?RUN) (measure ?AGENT (SpeedFn ?LENGTH2 ?TIME)))) (greaterThan ?LENGTH2 ?LENGTH1)) |
Merge.kif 11316-11324 | If All of the following hold: (1) X is an instance of walking (2) Y is an instance of running (3) Z is an agent of X (4) Z is an agent of Y (5) the measure of Z is W per V holds during the time of existence of X (6) the measure of Z is U per V holds during the time of existence of Y, then U is greater than W |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?H Ambulatory)) (holdsDuring ?T (capability Walking agent ?H))) |
Medicine.kif 379-383 | If ambulatory is an attribute of X holds during Y, then X is capable of doing walking as a agent holds during Y |
| (=> (instance ?C WalkingCane) (hasPurpose ?C (exists (?W) (and (instance ?W Walking) (instrument ?W ?C))))) |
Mid-level-ontology.kif 2923-2929 | If X is an instance of walking cane, then X has the purpose there exists Y such that Y is an instance of walking and X is an instrument for Y |
| (=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE))))) |
Mid-level-ontology.kif 17156-17162 | If X is an instance of sidewalk, then X has the purpose there exists Y such that Y is an instance of walking and X is path along which Y occurs |
| (=> (instance ?X Wheelchair) (hasPurpose ?X (exists (?TRANSPORT ?HUMAN) (and (instance ?HUMAN Human) (not (capability Walking agent ?HUMAN)) (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?HUMAN) (instrument ?TRANSPORT ?X))))) |
Mid-level-ontology.kif 28786-28795 | If X is an instance of wheelchair, then X has the purpose there exist Y, Z such that Z is an instance of human, Z is not capable of doing walking as a agent, Y is an instance of transportation, Z is an agent of Y, and X is an instrument for Y |
| statement |
|
|
| (diseaseSymptom ParkinsonsDisease (ImpairmentFn Walking)) |
Medicine.kif 4258-4258 | Impairment in walking is a disease symptom of Parkinson's |
|
|
|