No TPTP formula. May not be expressible in strict first order.	Music.kif 755-755	NewAgeMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 763-763	NewWaveMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 768-768	PopMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 775-775	PunkRockMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 783-783	ReggaeMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 628-628	ReligiousMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 800-800	RhythmAndBluesMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 794-794	RockAndRollMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 788-788	RockMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 808-808	ShowTune est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 813-813	SkaMusic est une instance de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 509-509

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