No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5727-5727 |
Central aymara language is an instance of aymaran language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5746-5746 |
Jaquara language is an instance of aymaran language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5757-5757 |
Southern aymara language is an instance of aymaran language |
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 |
|