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