No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4770-4770 |
子類 東澤納蒂語 and 澤納蒂語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4814-4814 |
子類 ghomara集團的語言 and 澤納蒂語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4829-4829 |
子類 mzab wargla 語 and 澤納蒂語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4879-4879 |
子類 riff語言 and 澤納蒂語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4909-4909 |
子類 shawiya語言 and 澤納蒂語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4923-4923 |
子類 tidikelt語言 and 澤納蒂語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64141-64141 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64140-64140 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64139-64139 |
|