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 46780-46780 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46779-46779 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46778-46778 |
|