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" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41051-41051 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41050-41050 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41049-41049 |
|