No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4576-4576 |
North pacific ocean is a geographic subregion of pacific ocean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4616-4616 |
South pacific ocean is a geographic subregion of pacific ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 881-881 |
Alaska meets pacific ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 903-903 |
California meets pacific ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 936-936 |
Hawaii meets pacific ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1082-1082 |
Oregon meets pacific ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1141-1141 |
Washington meets pacific ocean |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4567-4567 |
Pacific ocean has name "Pacific Ocean" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43892-43892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43891-43891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43890-43890 |
|