No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4770-4770 |
东泽纳蒂语 是 泽纳蒂语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4814-4814 |
Ghomara集团的语言 是 泽纳蒂语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4829-4829 |
Mzab wargla 语 是 泽纳蒂语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4879-4879 |
Riff语言 是 泽纳蒂语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4909-4909 |
Shawiya语言 是 泽纳蒂语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4923-4923 |
Tidikelt语言 是 泽纳蒂语 的 subclass |
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 |
|