TreeView Knowledge Base Browser - LowerMamberamoLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11805-11807
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11804-11804	子類較低的mamberamo語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11810-11810	例倉庫語言 and 較低的mamberamo語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11831-11831	例軛語言 and 較低的mamberamo語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35129-35129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35128-35128
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35127-35127