No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4981-4981 |
例 tamasheq語言 and 南部的tamasheq語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5012-5012 |
例 tawallammat tamasheq語言 and 南部的tamasheq語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5002-5002 |
例 泰勒·塔瑪什克語 and 南部的tamasheq語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54266-54266 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54265-54265 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54264-54264 |
|