No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4103-4105 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 722-722 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 724-724 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 726-726 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 721-721 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 723-723 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 720-720 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 729-729 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 728-728 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 727-727 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 725-725 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4101-4101 |
SlopedArea e' uma sub-classe de LandForm |