No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11874-11874 |
CacuaLanguage est une instance de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11887-11887 |
HupdeLanguage est une instance de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11908-11908 |
KamaLanguage est une instance de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11916-11916 |
NadebLanguage est une instance de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11926-11926 |
NukakMakuLanguage est une instance de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11933-11933 |
YuhupLanguage est une instance de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35741-35741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35740-35740 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35739-35739 |
|