No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5085-5085 |
KakauhuaLanguage est une instance de AlacalufanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5069-5069 |
QawasqarLanguage est une instance de AlacalufanLanguage |
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 |
|