No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 559-559 |
蒙古 是 北亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 561-561 |
俄國 是 北亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 133-133 |
名 "Northern Asia" and 北亞 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41049-41049 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41048-41048 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41047-41047 |
|