No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5691-5691 |
Aghu tharnggalu language is an instance of rarmul pama language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5697-5697 |
Thaypan language is an instance of rarmul pama language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48788-48788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48787-48787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48786-48786 |
|