No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12965-12965 |
KrisaLanguage e' uma instancia de KrisaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12972-12972 |
PuariLanguage e' uma instancia de KrisaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12979-12979 |
RawoLanguage e' uma instancia de KrisaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12987-12987 |
WarapuLanguage e' uma instancia de KrisaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32845-32845 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32844-32844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32843-32843 |
|