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 |
![]() |
(documentation Walking ChineseLanguage "这是相对较慢的 Ambulating,即是以至少总是有一只脚和地面 保持接触的方式移动。") | chinese_format.kif 3008-3009 | |
(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 10440-10441 | |
(externalImage Walking "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ Walk-Cycle.gif") | pictureList.kif 3278-3278 | |
(externalImage Walking "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Marcheur_en_comp%C3%A9tion.jpg") | pictureList.kif 3279-3279 | |
(subclass Walking Ambulating) | Merge.kif 10438-10438 | Walking is a subclass of ambulating |
appearance as argument number 2 |
![]() |
(partition Ambulating Walking Running) | Merge.kif 10432-10432 | Ambulating is exhaustively partitioned into walking and running |
(subclass Wading Walking) | Mid-level-ontology.kif 709-709 | Wading is a subclass of walking |
(termFormat ChineseLanguage Walking "步行") | chinese_format.kif 1115-1115 | |
(termFormat EnglishLanguage Walking "walking") | english_format.kif 1452-1452 |
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 10449-10457 |
|
consequent |
![]() |
![]() |
![]() |