No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11950-11950 |
例 emok語言 and mascoian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11958-11958 |
例 瓜納語 and mascoian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11975-11975 |
例 lengua語言 and mascoian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11987-11987 |
例 sanapana語言 and mascoian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12004-12004 |
例 toba maskoy 語 and mascoian語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36377-36377 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36376-36376 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36375-36375 |
|