No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5223-5223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5225-5225 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5224-5224 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2732-2732 |
geographicSubregion ClarkAirbasePhilippines and Philippines |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2731-2731 |
ClarkAirbasePhilippines e' uma instancia de Area Geografica |