No TPTP formula. May not be expressible in strict first order. |
Music.kif 1187-1189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 560-560 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4832-4832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 557-557 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 556-556 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 558-558 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 554-554 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 559-559 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 555-555 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1186-1186 |
子類 弦樂器 and MusicalInstrument |