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	LowerMamberamoLanguage e' uma sub-classe de SpokenHumanLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11810-11810	WaremboriLanguage e' uma instancia de LowerMamberamoLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11831-11831	YokeLanguage e' uma instancia de LowerMamberamoLanguage
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