No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4046-4048 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 954-954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 639-639 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 649-649 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 646-646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 636-636 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 648-648 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 637-637 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 643-643 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 644-644 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 642-642 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 651-651 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 635-635 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 640-640 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 641-641 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 647-647 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 652-652 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 638-638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 645-645 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 653-653 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4043-4043 |
Hill e' uma sub-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4044-4044 |
Hill e' uma sub-classe de UplandArea |