No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2884-2884 |
geographicSubregion GroznyChechnya and Chechnya |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3057-3057 |
geographicSubregion KhankalaChechnya and Chechnya |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3325-3325 |
geographicSubregion NorthernCaucasiusChechnya and 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 |
|