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	西伊比利亚语是伊比利亚浪漫语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10204-10204	Asturo leonese 语言是西伊比利亚语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10269-10269	卡斯蒂利亚语是西伊比利亚语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10448-10448	葡萄牙语加利西亚语是西伊比利亚语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62873-62873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62872-62872
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62871-62871