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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53372-53372 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53371-53371 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53370-53370 |
|