No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13960-13960 |
TobeloLanguage e' uma instancia de TobeloGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13974-13974 |
TugutilLanguage e' uma instancia 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 |
|