No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10756-10756 |
白俄罗斯语言 是 东斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10723-10723 |
俄语 是 东斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10702-10702 |
鲁辛语 是 东斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10774-10774 |
乌克兰语 是 东斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21012-21012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21011-21011 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21010-21010 |
|