No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13805-13805 |
子類 北部北哈馬拉語 and 北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14012-14012 |
子類 南北哈馬拉語 and 北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41189-41189 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41188-41188 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41187-41187 |
|