No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10874-10874 |
罗马语塞尔维亚语 是 西南斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10920-10920 |
塞尔维亚克罗地亚语 是 西南斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10882-10882 |
斯洛文尼亚语 是 西南斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54366-54366 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54365-54365 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54364-54364 |
|