No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10453-10453 |
法拉语 是 葡萄牙语加利西亚语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10471-10471 |
加利西亚语 是 葡萄牙语加利西亚语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10495-10495 |
葡萄牙语 是 葡萄牙语加利西亚语 的 instance |
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 |
|