No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 408-408 |
geographicSubregion Canada and NorthernNorthAmerica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 411-411 |
geographicSubregion Greenland and NorthernNorthAmerica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 412-412 |
geographicSubregion SaintPierreAndMiquelon and NorthernNorthAmerica |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 122-122 |
NorthernNorthAmerica se chama nome "Northern North America" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41127-41127 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41126-41126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41125-41125 |
|