No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11874-11874 |
Cacua language is an instance of maku language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11887-11887 |
Hupde language is an instance of maku language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11908-11908 |
Kama language is an instance of maku language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11916-11916 |
Nadeb language is an instance of maku language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11926-11926 |
Nukak maku language is an instance of maku language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11933-11933 |
Yuhup language is an instance of maku language |
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 |
|