Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass FitnessExercise RecreationOrExercise) Sports.kif 559-559 Fitness exercise is a subclass of recreation or exercise
(subclass Aerobics FitnessExercise) Sports.kif 561-561 Aerobics is a subclass of fitness exercise
(subclass Zumba FitnessExercise) Sports.kif 562-562 Zumba is a subclass of fitness exercise
(subclass Pilates FitnessExercise) Sports.kif 563-563 Pilates is a subclass of fitness exercise
(subclass BurlesqueDance FitnessExercise) Sports.kif 566-566 Burlesque dance is a subclass of fitness exercise
(subclass PoleDancing FitnessExercise) Sports.kif 567-567 Pole dancing is a subclass of fitness exercise
(subclass Weightlifting FitnessExercise) Sports.kif 790-790 Weightlifting is a subclass of fitness exercise
(subclass CrossFit FitnessExercise) Medicine.kif 5296-5296 CrossFit is a subclass of fitness exercise


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