No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5085-5085 |
例 kakauhua語言 and alacalufan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5069-5069 |
例 qawasqar語言 and alacalufan語言 |
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 |
|