No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10804-10804 |
保加利亚语言 是 东南的斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10836-10836 |
马其顿语 是 东南的斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10861-10861 |
老教堂斯拉夫语言 是 东南的斯拉夫语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54134-54134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54133-54133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54132-54132 |
|