No TPTP formula. May not be expressible in strict first order. |
Government.kif 4118-4118 |
格魯吉亞共和國 是 agent 運作在 聯合國駐格魯吉亞觀察團 地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2790-2790 |
Djakashari 格魯吉亞 是 格魯吉亞共和國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2855-2855 |
加利阿布哈茲格魯吉亞 是 格魯吉亞共和國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3570-3570 |
第比利斯格魯吉亞 是 格魯吉亞共和國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4192-4192 |
名 "Republic Of Georgia" and 格魯吉亞共和國 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49562-49562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49561-49561 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49560-49560 |
|