No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11874-11874 |
例 cacua語言 and maku語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11887-11887 |
例 hupde語言 and maku語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11908-11908 |
例 卡馬語 and maku語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11916-11916 |
例 nadeb語言 and maku語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11926-11926 |
例 nukak maku 語 and maku語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11933-11933 |
例 yuhup語言 and maku語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35741-35741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35740-35740 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35739-35739 |
|