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 |
geographicSubregion JubialSaudiArabia and SaudiArabia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1848-1848 |
JubialSaudiArabia e' uma instancia de Cidade |