No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12030-12030 |
例 卡迪韋語 and guaicuruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12040-12040 |
例 mocovi語言 and guaicuruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12047-12047 |
例 pilaga語言 and guaicuruan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12057-12057 |
例 toba語言 and guaicuruan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26862-26862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26861-26861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26860-26860 |
|