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 58306-58306 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58305-58305 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58304-58304 |
|