No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11584-11584 |
例 kanamari語言 and katukinan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11592-11592 |
例 卡塔維西語 and katukinan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11599-11599 |
例 katukina語言 and katukinan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32239-32239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32238-32238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32237-32237 |
|