No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13698-13698 |
KaronDoriLanguage est une instance de CentralBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13684-13684 |
MaiBratLanguage est une instance de CentralBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13842-13842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13841-13841 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13840-13840 |
|