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 语言是 witoto 恰当的语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14122-14122	Minica huitoto 语言是 minica murui 语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14134-14134	Murui huitoto 语言是 minica murui 语言的 instance
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