No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5613-5613 |
例 huilliche語言 and araucanian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5593-5593 |
例 mapudungun語言 and araucanian語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8190-8190 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8189-8189 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8188-8188 |
|