No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10804-10804 |
例 保加利亞語言 and 東南的斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10836-10836 |
例 馬其頓語 and 東南的斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10861-10861 |
例 老教堂斯拉夫語言 and 東南的斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54132-54132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54131-54131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54130-54130 |
|