TreeView Knowledge Base Browser - WesternIranianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8973-8974
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8972-8972	Western iranian language is a subclass of iranian language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8978-8978	Northwestern iranian language is a subclass of western iranian language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9170-9170	Southwestern iranian language is a subclass of western iranian language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62813-62813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62812-62812
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62811-62811