No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 408-408 |
Canada is a geographic subregion of northern north america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 411-411 |
Greenland is a geographic subregion of northern north america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 412-412 |
Saint pierre and miquelon is a geographic subregion of northern north america |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 122-122 |
Northern north america has name "Northern North America" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41129-41129 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41128-41128 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41127-41127 |
|