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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FitnessExercise

 Sigma KEE - FitnessExercise
FitnessExercise

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 559-559 FitnessExercise est une sous-classe de r�cr�ation ou exercice

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 561-561 Aerobics est une sous-classe de FitnessExercise
No TPTP formula. May not be expressible in strict first order. Sports.kif 566-566 BurlesqueDance est une sous-classe de FitnessExercise
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5296-5296 CrossFit est une sous-classe de FitnessExercise
No TPTP formula. May not be expressible in strict first order. Sports.kif 563-563 Pilates est une sous-classe de FitnessExercise
No TPTP formula. May not be expressible in strict first order. Sports.kif 567-567 PoleDancing est une sous-classe de FitnessExercise
No TPTP formula. May not be expressible in strict first order. Sports.kif 790-790 Weightlifting est une sous-classe de FitnessExercise
No TPTP formula. May not be expressible in strict first order. Sports.kif 562-562 Zumba est une sous-classe de FitnessExercise
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64869-64869


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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