|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 755-755 | New age music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 763-763 | New wave is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 768-768 | Pop music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 775-775 | Punk rock is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 783-783 | Reggae music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 628-628 | Religious music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 800-800 | Rhythm and blues is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 794-794 | Rock and roll music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 788-788 | Rock music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 808-808 | Show tune is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 813-813 | Ska music is an instance of music genre |
| 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