Walking - Sigma Knowledge base Browser

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

appearance as argument number 2

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

If a process is an instance of walking and another process is an instance of running and an agent is an agent of the process and the agent is an agent of the other process and the measure of the agent is a real number per an entity holds during the time of existence of the process and the measure of the agent is another real number per the entity holds during the time of existence of the other process,
then the other real number is greater than the real number

consequent

(=> (holdsDuring ?T (attribute ?H Ambulatory)) (holdsDuring ?T (capability Walking agent ?H)))	Medicine.kif 390-394	If ambulatory is an attribute of an entity holds during a time position, then the entity is capable of doing walking as a agent holds during the time position
(=> (instance ?C WalkingCane) (hasPurpose ?C (exists (?W) (and (instance ?W Walking) (instrument ?W ?C)))))	Mid-level-ontology.kif 2435-2441	If a physical is an instance of walking cane, then the physical has the purpose there exists an entity such that the entity is an instance of walking and the physical is an instrument for the entity
(=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE)))))	Mid-level-ontology.kif 15872-15878	If a physical is an instance of sidewalk, then the physical has the purpose there exists an entity such that the entity is an instance of walking and the physical is path along which the entity 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 26402-26411	If a physical is an instance of wheelchair, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of human and the other entity is not capable of doing walking as a agent and the entity is an instance of transportation and the other entity is an agent of the entity and the physical is an instrument for the entity

statement

(diseaseSymptom ParkinsonsDisease
(ImpairmentFn Walking))

Medicine.kif 4258-4258

Impairment in walking is a disease symptom of Parkinson's

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: