MusicalInstrument(乐器) |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 533-533 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 532-532 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 501-501 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 514-514 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 535-535 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 526-526 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 534-534 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 519-519 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 502-502 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 528-528 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 494-494 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 515-515 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 536-536 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 524-524 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 527-527 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 513-513 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 512-512 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 530-530 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 522-522 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 497-497 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 517-517 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 525-525 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 506-506 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15979-15979 | 乐器 是 设备 的 subclass |