No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11874-11874 |
CacuaLanguage e' uma instancia de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11887-11887 |
HupdeLanguage e' uma instancia de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11908-11908 |
KamaLanguage e' uma instancia de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11916-11916 |
NadebLanguage e' uma instancia de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11926-11926 |
NukakMakuLanguage e' uma instancia de MakuLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11933-11933 |
YuhupLanguage e' uma instancia 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 |
|