No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11874-11874 |
Cacua语言 是 maku语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11887-11887 |
Hupde语言 是 maku语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11908-11908 |
卡马语 是 maku语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11916-11916 |
Nadeb语言 是 maku语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11926-11926 |
Nukak maku 语 是 maku语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11933-11933 |
Yuhup语言 是 maku语言 的 instance |
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 |
|