TreeView Knowledge Base Browser - WestIberianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10199-10200
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10198-10198	子類西伊比利亞語 and 伊比利亞浪漫語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10204-10204	子類 asturo leonese 語言 and 西伊比利亞語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10269-10269	子類卡斯蒂利亞語 and 西伊比利亞語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10448-10448	子類葡萄牙語加利西亞語 and 西伊比利亞語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62871-62871
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62870-62870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62869-62869