No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5727-5727 |
中央aymara语言 是 aymaran语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5746-5746 |
Jaquara语言 是 aymaran语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5757-5757 |
南部的aymara语言 是 aymaran语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9438-9438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9437-9437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9436-9436 |
|