No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 408-408 |
加拿大 是 北美洲北部 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 411-411 |
格陵蘭 是 北美洲北部 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 412-412 |
聖皮埃爾和密克隆 是 北美洲北部 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 122-122 |
名 "Northern North America" and 北美洲北部 |
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 |
|