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	东泽纳蒂语是泽纳蒂语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4775-4775	Ghadames语言是东泽纳蒂语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4819-4819	Ghomara语言是东泽纳蒂语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4783-4783	纳夫斯语是东泽纳蒂语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4805-4805	Sened语言是东泽纳蒂语的 instance
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