No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2638-2638 |
貝爾格萊德塞爾維亞和黑山 是 塞爾維亞和黑山 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2538-2538 |
Montenegro 是 塞爾維亞和黑山 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2511-2511 |
Serbia 是 塞爾維亞和黑山 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4071-4071 |
名 "Serbia and Montenegro" and 塞爾維亞和黑山 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52169-52169 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52168-52168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52167-52167 |
|