No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12965-12965 |
KrisaLanguage est une instance de KrisaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12972-12972 |
PuariLanguage est une instance de KrisaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12979-12979 |
RawoLanguage est une instance de KrisaGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12987-12987 |
WarapuLanguage est une instance 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 |
|