No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2884-2884 |
格罗兹尼车臣 是 车臣 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3057-3057 |
Khankala车臣 是 车臣 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3325-3325 |
北高加索车臣 是 车臣 的 geographic 次要地区 |
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 |
|