No TPTP formula. May not be expressible in strict first order. |
Music.kif 1412-1412 |
Cellist is an instance of musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1427-1427 |
Drummer is an instance of musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1404-1404 |
Guitarist is an instance of musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1388-1388 |
Pianist is an instance of musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1419-1419 |
Saxophonist is an instance of musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1435-1435 |
Solo singer is an instance of musician |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1396-1396 |
Violinist is an instance of 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 |
|