No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5995-5996 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 612-612 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 616-616 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 618-618 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 615-615 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 619-619 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 611-611 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 617-617 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 621-621 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 613-613 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 620-620 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 614-614 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5993-5993 |
Atoll is a subclass of coral reef |