No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 875-875 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 862-862 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 824-824 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 830-830 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 849-849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 859-859 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 861-861 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 838-838 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 881-881 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 864-864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 865-865 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4862-4862 |
OpiumPoppy e' uma sub-classe de Poppy |