TreeView Knowledge Base Browser - IndoIranianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8648-8650
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8647-8647	印度伊朗语是印度欧洲语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8654-8654	印度雅利安语是印度伊朗语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8871-8871	伊朗语是印度伊朗语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29689-29689
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29688-29688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29687-29687