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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Walking
Walking

VerbNet: run-51.3.2|mosey, run-51.3.2|ambulate, run-51.3.2|stumble, run-51.3.2|swag, run-51.3.2|scramble, run-51.3.2|climb, run-51.3.2|climb, run-51.3.2|clump, run-51.3.2|clump, run-51.3.2|strut, run-51.3.2|waddle, run-51.3.2|sneak, run-51.3.2|waddle, run-51.3.2|drift, run-51.3.2|drift, run-51.3.2|stumble, escape-51.1|file, run-51.3.2|flounce, run-51.3.2|stagger, run-51.3.2|trudge, run-51.3.2|hobble, run-51.3.2|climb, run-51.3.2|goose_step, run-51.3.2|hobble, run-51.3.2|hobble, run-51.3.2|hop, run-51.3.2|swag, run-51.3.2|hobble, run-51.3.2|lollop, run-51.3.2|lope, run-51.3.2|lumber, run-51.3.2|swag, run-51.3.2|march, run-51.3.2|mince, run-51.3.2|mosey, run-51.3.2|climb, run-51.3.2|sneak, run-51.3.2|pace, run-51.3.2|trudge, run-51.3.2|waddle, run-51.3.2|perambulate, run-51.3.2|trudge, linger-53.1|putter, linger-53.1|putter, run-51.3.2|lumber, run-51.3.2|strut, run-51.3.2|march, run-51.3.2|promenade, run-51.3.2|prowl, run-51.3.2|sneak, ...


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 10296-10297
(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 10294-10294

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


(partition Ambulating Walking Running) Merge.kif 10288-10288
(subclass Wading Walking) Mid-level-ontology.kif 709-709
(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 10305-10313

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


(=>
    (instance ?C WalkingCane)
    (hasPurpose ?C
        (exists (?W)
            (and
                (instance ?W Walking)
                (instrument ?W ?C)))))
Mid-level-ontology.kif 2898-2904
(=>
    (instance ?SIDE Sidewalk)
    (hasPurpose ?SIDE
        (exists (?WALK)
            (and
                (instance ?WALK Walking)
                (path ?WALK ?SIDE)))))
Mid-level-ontology.kif 13307-13312
(=>
    (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 24127-24136


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners