No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14018-14018 |
例 特爾納特語 and 南北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14030-14030 |
例 tidore語言 and 南北哈馬拉語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54234-54234 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54233-54233 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54232-54232 |
|