No TPTP formula. May not be expressible in strict first order. |
Music.kif 1267-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 400-400 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 426-426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 422-422 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 425-425 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 421-421 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 427-427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 424-424 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 428-428 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 423-423 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1266-1266 |
鼓 是 打击乐器 的 subclass |