No TPTP formula. May not be expressible in strict first order.	Music.kif 755-755	NewAgeMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 763-763	NewWaveMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 768-768	PopMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 775-775	PunkRockMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 783-783	ReggaeMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 628-628	ReligiousMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 800-800	RhythmAndBluesMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 794-794	RockAndRollMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 788-788	RockMusic e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 808-808	ShowTune e' uma instancia de MusicGenre
No TPTP formula. May not be expressible in strict first order.	Music.kif 813-813	SkaMusic e' uma instancia 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