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	子類帕薩伊集團的語言 and kunar語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8820-8820	例東北巴沙伊語 and 帕薩伊集團的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8832-8832	例西北巴沙伊語 and 帕薩伊集團的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8844-8844	例東南巴沙伊語 and 帕薩伊集團的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8859-8859	例西南巴沙伊語 and 帕薩伊集團的語言
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