No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 759-759 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9717-9717 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9720-9720 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9719-9719 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 885-885 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 886-886 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 888-888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 887-887 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4506-4506 |
Sunflower e' uma sub-classe de HerbaceousPlant |