No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10453-10453 |
例 法拉語 and 葡萄牙語加利西亞語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10471-10471 |
例 加利西亞語 and 葡萄牙語加利西亞語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10495-10495 |
例 葡萄牙語 and 葡萄牙語加利西亞語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46778-46778 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46777-46777 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46776-46776 |
|