Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Walking
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 11399-11399 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 11401-11402 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 11393-11393 Ambulating is exhaustively partitioned into walking and running
(subclass Wading Walking) Mid-level-ontology.kif 515-515 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 1451-1451 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 11410-11418 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
-------------------------


(=>
    (instance ?C WalkingCane)
    (hasPurpose ?C
        (exists (?W)
            (and
                (instance ?W Walking)
                (instrument ?W ?C)))))		 Mid-level-ontology.kif 3041-3047 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 17253-17259 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 28708-28717 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
(=>
    (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