No TPTP formula. May not be expressible in strict first order. |
Media.kif 1782-1782 |
Choir e' uma sub-classe de MusicalGroup |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 965-965 |
MarchingBand e' uma sub-classe de MusicalGroup |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18531-18531 |
Orchestra e' uma sub-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 |
|