appearance as argument number 1

(subclass Hiking Walking)	Offers.kif 306-306	Hiking is a subclass of walking
(documentation Hiking EnglishLanguage "The process of taking a a long walk usually for exercise or pleasure.")	Offers.kif 307-307	Hiking is a subclass of walking

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