No TPTP formula. May not be expressible in strict first order. | Languages.kif 10691-10691 | 斯拉夫语 是 印度欧洲语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10697-10697 | 东斯拉夫语 是 斯拉夫语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10793-10793 | 南斯拉夫语 是 斯拉夫语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10987-10987 | 西斯拉夫语 是 斯拉夫语 的 subclass |
![]() |