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

Formal Language: 



Term 1: Term 2:

(subclass FitnessExercise RecreationOrExercise) Sports.kif 559-559 FitnessExercise娱乐或锻炼subclass
(subclass Aerobics FitnessExercise) Sports.kif 561-561 AerobicsFitnessExercisesubclass
(subclass Zumba FitnessExercise) Sports.kif 562-562 ZumbaFitnessExercisesubclass
(subclass Pilates FitnessExercise) Sports.kif 563-563 PilatesFitnessExercisesubclass
(subclass BurlesqueDance FitnessExercise) Sports.kif 566-566 BurlesqueDanceFitnessExercisesubclass
(subclass PoleDancing FitnessExercise) Sports.kif 567-567 PoleDancingFitnessExercisesubclass
(subclass Weightlifting FitnessExercise) Sports.kif 790-790 WeightliftingFitnessExercisesubclass
(subclass CrossFit FitnessExercise) Medicine.kif 5296-5296 CrossFitFitnessExercisesubclass


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