No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 792-793 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7785-7785 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7788-7788 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5172-5172 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7789-7789 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7790-7790 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7791-7791 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7792-7792 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7793-7793 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7794-7794 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7795-7795 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7796-7796 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7797-7797 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7798-7798 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5499-5499 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7803-7803 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7786-7786 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7800-7800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7801-7801 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7787-7787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5501-5501 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 790-790 |
San francisco california is an instance of american city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 791-791 |
San francisco california is a part of california |