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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CrossFit
CrossFit(CrossFit)

appearance as argument number 1
-------------------------


(documentation CrossFit EnglishLanguage "A form of exercise with a trademarked name and affiliated gyms that implement a program of workouts that include weightlifting, aerobic exercise and plyometrics with an emphasis on intense interval training.") Medicine.kif 5297-5300
(subclass CrossFit FitnessExercise) Medicine.kif 5296-5296 CrossFit is a subclass of fitness exercise

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


(termFormat EnglishLanguage CrossFit "CrossFit") Medicine.kif 5301-5301


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