No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1735-1735 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5252-5252 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5119-5119 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5254-5254 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5253-5253 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2861-2861 |
geographicSubregion GeneralSantosPhilippines and Philippines |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1734-1734 |
GeneralSantosPhilippines e' uma instancia de Cidade |