No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 693-693 |
萨摩亚 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 695-695 |
所罗门群岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 697-697 |
托克劳 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 698-698 |
汤加 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 700-700 |
图瓦卢 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 702-702 |
瓦努阿图 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 704-704 |
苏醒岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 705-705 |
瓦利斯和富图纳群岛 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 137-137 |
大洋洲 的名 是 "Oceania" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 281-281 |
亚洲 在 大洋洲 的 西北 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 662-662 |
澳大利亚 是 大洋洲 的 part |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41632-41632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41631-41631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41630-41630 |
|