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

KB Term:  Term intersection
English Word: 

Sigma KEE - Walking
Walking

appearance as argument number 1
-------------------------


(subclass Walking Ambulating) Merge.kif 11399-11399
(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
(externalImage Walking "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ Walk_Cycle.gif") pictureList.kif 3276-3276
(externalImage Walking "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Marcheur_en_comp%C3%A9tion.jpg") pictureList.kif 3277-3277

appearance as argument number 2
-------------------------


(partition Ambulating Walking Running) Merge.kif 11393-11393
(subclass Wading Walking) Mid-level-ontology.kif 515-515
(subclass Hiking Walking) Offers.kif 306-306
(subclass WalkingTour Walking) Offers.kif 308-308
(termFormat EnglishLanguage Walking "walking") english_format.kif 1451-1451

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

consequent
-------------------------


(=>
    (instance ?C WalkingCane)
    (hasPurpose ?C
        (exists (?W)
            (and
                (instance ?W Walking)
                (instrument ?W ?C)))))		 Mid-level-ontology.kif 3041-3047
(=>
    (instance ?SIDE Sidewalk)
    (hasPurpose ?SIDE
        (exists (?WALK)
            (and
                (instance ?WALK Walking)
                (path ?WALK ?SIDE)))))		 Mid-level-ontology.kif 17253-17259
(=>
    (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
(=>
    (holdsDuring ?T
        (attribute ?H Ambulatory))
    (holdsDuring ?T
        (capability Walking agent ?H)))		 Medicine.kif 379-383

statement
-------------------------


(diseaseSymptom ParkinsonsDisease
    (ImpairmentFn Walking))		 Medicine.kif 4296-4296


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners