No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4620-4620 |
子類 awjila sokna 語言 and 東伯爾伯語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4642-4642 |
子類 西瓦集團的語言 and 東伯爾伯語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20868-20868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20867-20867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20866-20866 |
|