No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5085-5085 |
Kakauhua language is an instance of alacalufan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5069-5069 |
Qawasqar language is an instance of alacalufan language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6384-6384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6383-6383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6382-6382 |
|