No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1849-1849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5027-5027 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4910-4910 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5028-5028 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3003-3003 |
Jubial saudi arabia is a geographic subregion of saudi arabia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1848-1848 |
Jubial saudi arabia is an instance of city |