No TPTP formula. May not be expressible in strict first order. |
Music.kif 1412-1412 |
Cellist e' uma instancia de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1427-1427 |
Drummer e' uma instancia de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1404-1404 |
Guitarist e' uma instancia de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1388-1388 |
Pianist e' uma instancia de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1419-1419 |
Saxophonist e' uma instancia de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1435-1435 |
SoloSinger e' uma instancia de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1396-1396 |
Violinist e' uma instancia de Musician |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39411-39411 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39410-39410 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39409-39409 |
|