TreeView Knowledge Base Browser - PashayiGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8816-8817
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8815-8815	帕萨伊集团的语言是 kunar语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8820-8820	东北巴沙伊语是帕萨伊集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8832-8832	西北巴沙伊语是帕萨伊集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8844-8844	东南巴沙伊语是帕萨伊集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8859-8859	西南巴沙伊语是帕萨伊集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44634-44634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44633-44633
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44632-44632