No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6000-6002 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2583-2583 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2584-2584 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1122-1122 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 634-634 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 631-631 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 630-630 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 633-633 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 632-632 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5998-5998 |
Glacier is a subclass of land form |