No TPTP formula. May not be expressible in strict first order. |
Music.kif 1412-1412 |
Cellist est une instance de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1427-1427 |
Drummer est une instance de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1404-1404 |
Guitarist est une instance de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1388-1388 |
Pianist est une instance de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1419-1419 |
Saxophonist est une instance de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1435-1435 |
SoloSinger est une instance de Musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1396-1396 |
Violinist est une instance 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 |
|