No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2638-2638 |
Belgrade serbia and montenegro is a geographic subregion of serbia and montenegro |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2538-2538 |
Montenegro is a geographic subregion of serbia and montenegro |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2511-2511 |
Serbia is a geographic subregion of serbia and montenegro |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4071-4071 |
Serbia and montenegro has name "Serbia and Montenegro" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52167-52167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52166-52166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52165-52165 |
|