No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9391-9391 |
Istro罗马尼亚语 是 东方浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9401-9401 |
马其顿罗马尼亚语 是 东方浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9449-9449 |
Megleno罗马尼亚语 是 东方浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14655-14655 |
MoldovanLanguage 是 东方浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9458-9458 |
罗马尼亚语 是 东方浪漫语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20940-20940 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20939-20939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20938-20938 |
|