No TPTP formula. May not be expressible in strict first order. |
Media.kif 1782-1782 |
Choir est une sous-classe de MusicalGroup |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 965-965 |
MarchingBand est une sous-classe de MusicalGroup |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18530-18530 |
Orchestra est une sous-classe de MusicalGroup |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39375-39375 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39374-39374 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39373-39373 |
|