No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4775-4775 |
Ghadames语言 是 东泽纳蒂语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4819-4819 |
Ghomara语言 是 东泽纳蒂语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4783-4783 |
纳夫斯语 是 东泽纳蒂语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4805-4805 |
Sened语言 是 东泽纳蒂语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21030-21030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21029-21029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21028-21028 |
|