Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 11171-11172
(documentation Walking JapaneseLanguage "Ambulating は、比較的ゆっくりと、すなわち少なくとも 1本の足が常に地面に接触するような方法で移動する。") japanese_format.kif 1771-1772
(externalImage Walking " 6f/ Walk-Cycle.gif") pictureList.kif 3277-3277
(externalImage Walking " d2/ Marcheur_en_comp%C3%A9tion.jpg") pictureList.kif 3278-3278
(subclass Walking Ambulating) Merge.kif 11169-11169 Walking is a subclass of ambulating

appearance as argument number 2

(partition Ambulating Walking Running) Merge.kif 11163-11163 Ambulating is exhaustively partitioned into walking and running
(subclass Wading Walking) Mid-level-ontology.kif 532-532 Wading is a subclass of walking
(termFormat ChineseLanguage Walking "步行") chinese_format.kif 1115-1115
(termFormat EnglishLanguage Walking "walking") english_format.kif 1447-1447
(termFormat FrenchLanguage Walking "marcher") french_format.kif 793-793
(termFormat Hindi Walking "tahalanaa") terms-hindi.txt 325-325
(termFormat ItalianLanguage Walking "Camminare") terms-it.txt 328-328
(termFormat JapaneseLanguage Walking "歩行") japanese_format.kif 2477-2477
(termFormat PortugueseLanguage Walking "Andar") portuguese_format.kif 745-745
(termFormat cb Walking "paglakaw") terms-cb.txt 330-330
(termFormat cz Walking "walking") terms-cz.txt 364-364
(termFormat ro Walking "mers") relations-ro.kif 814-814
(termFormat tg Walking "lumalakad") terms-tg.txt 329-329


        (instance ?WALK Walking)
        (instance ?RUN Running)
        (agent ?WALK ?AGENT)
        (agent ?RUN ?AGENT)
            (WhenFn ?WALK)
            (measure ?AGENT
                (SpeedFn ?LENGTH1 ?TIME)))
            (WhenFn ?RUN)
            (measure ?AGENT
                (SpeedFn ?LENGTH2 ?TIME))))
    (greaterThan ?LENGTH2 ?LENGTH1))
Merge.kif 11180-11188


    (holdsDuring ?T
        (attribute ?H Ambulatory))
    (holdsDuring ?T
        (capability Walking agent ?H)))
Medicine.kif 390-394
    (instance ?C WalkingCane)
    (hasPurpose ?C
        (exists (?W)
                (instance ?W Walking)
                (instrument ?W ?C)))))
Mid-level-ontology.kif 2442-2448
    (instance ?SIDE Sidewalk)
    (hasPurpose ?SIDE
        (exists (?WALK)
                (instance ?WALK Walking)
                (path ?WALK ?SIDE)))))
Mid-level-ontology.kif 15653-15659
    (instance ?X Wheelchair)
    (hasPurpose ?X
        (exists (?TRANSPORT ?HUMAN)
                (instance ?HUMAN Human)
                    (capability Walking agent ?HUMAN))
                (instance ?TRANSPORT Transportation)
                (agent ?TRANSPORT ?HUMAN)
                (instrument ?TRANSPORT ?X)))))
Mid-level-ontology.kif 26126-26135