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