No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2884-2884 |
Grozny chechnya is a geographic subregion of chechnya |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3057-3057 |
Khankala chechnya is a geographic subregion of chechnya |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3325-3325 |
Northern caucasius chechnya is a geographic subregion of chechnya |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14226-14226 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14225-14225 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14224-14224 |
|