No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4981-4981 |
Tamasheq语言 是 南部的tamasheq语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5012-5012 |
Tawallammat tamasheq语言 是 南部的tamasheq语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5002-5002 |
泰勒·塔玛什克语 是 南部的tamasheq语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54264-54264 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54263-54263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54262-54262 |
|