No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10874-10874 |
例 羅馬語塞爾維亞語 and 西南斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10920-10920 |
例 塞爾維亞克羅地亞語 and 西南斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10882-10882 |
例 斯洛文尼亞語 and 西南斯拉夫語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54368-54368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54367-54367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54366-54366 |
|