No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13960-13960 |
TobeloLanguage est une instance de TobeloGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13974-13974 |
TugutilLanguage est une instance de TobeloGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58304-58304 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58303-58303 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58302-58302 |
|