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