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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3008-3009
No TPTP formula. May not be expressible in strict first order. Merge.kif 11149-11150
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1771-1772
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3277-3277
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3278-3278
No TPTP formula. May not be expressible in strict first order. Merge.kif 11147-11147 Walking is a subclass of ambulating

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11141-11141 Ambulating is exhaustively partitioned into walking and running
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 532-532 Wading is a subclass of walking
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1115-1115
No TPTP formula. May not be expressible in strict first order. english_format.kif 1447-1447
No TPTP formula. May not be expressible in strict first order. french_format.kif 793-793
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 325-325
No TPTP formula. May not be expressible in strict first order. terms-it.txt 328-328
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2477-2477
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 745-745
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 330-330
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 364-364
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 814-814
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 329-329

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11158-11166

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 390-394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2442-2448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15654-15660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26138-26147

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


No TPTP formula. May not be expressible in strict first order. 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