No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 887-888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5101-5101 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5206-5206 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5210-5210 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5211-5211 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5208-5208 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5209-5209 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5207-5207 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5212-5212 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 883-883 |
Arizona is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 885-885 |
Arizona meets california |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 886-886 |
Arizona meets mexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 884-884 |
Arizona meets Nevada |