TreeView Knowledge Base Browser - MinicaMuruiLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14118-14119
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14117-14117	子類 minica murui 語言 and witoto 恰當的語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14122-14122	例 minica huitoto 語言 and minica murui 語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14134-14134	例 murui huitoto 語言 and minica murui 語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37859-37859
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37858-37858
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37857-37857