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