TreeView Knowledge Base Browser - EastZenatiLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4771-4772
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4770-4770	子類東澤納蒂語 and 澤納蒂語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4775-4775	例 ghadames語言 and 東澤納蒂語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4819-4819	例 ghomara語言 and 東澤納蒂語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4783-4783	例納夫斯語 and 東澤納蒂語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4805-4805	例 sened語言 and 東澤納蒂語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21030-21030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21029-21029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21028-21028