Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


s__documentation(s__Walking,s__ChineseLanguage,'"这是相对较慢的 Ambulating,即是以至少总是有一只脚和地面 保持接触的方式移动。"')

chinese_format.kif 3008-3009
s__documentation(s__Walking,s__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 10717-10718
s__externalImage(s__Walking,'"http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ Walk-Cycle.gif"')

pictureList.kif 3278-3278
s__externalImage(s__Walking,'"http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Marcheur_en_comp%C3%A9tion.jpg"')

pictureList.kif 3279-3279
s__subclass(s__Walking,s__Ambulating)

s__instance(s__Ambulating,s__Class)

s__instance(s__Walking,s__Class)

Merge.kif 10715-10715 Walking is a subclass of ambulating

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


s__partition__3(s__Ambulating,s__Walking,s__Running)

Merge.kif 10709-10709 Ambulating is exhaustively partitioned into walking and running
s__instance(s__Wading,s__Class)

s__subclass(s__Wading,s__Walking)

s__instance(s__Walking,s__Class)

Mid-level-ontology.kif 503-503 Wading is a subclass of walking
s__termFormat(s__ChineseLanguage,s__Walking,'"步行"')

chinese_format.kif 1115-1115
s__termFormat(s__EnglishLanguage,s__Walking,'"walking"')

english_format.kif 1447-1447

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10726-10734

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2380-2386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14934-14940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25360-25369


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