No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4576-4576 |
geographicSubregion NorthPacificOcean and PacificOcean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4616-4616 |
geographicSubregion SouthPacificOcean and PacificOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 881-881 |
Alaska rencontre PacificOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 903-903 |
California rencontre PacificOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 936-936 |
Hawaii rencontre PacificOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1082-1082 |
Oregon rencontre PacificOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1141-1141 |
Washington rencontre PacificOcean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4567-4567 |
PacificOcean s'appele nom "Pacific Ocean" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43890-43890 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43889-43889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43888-43888 |
|