TreeView Knowledge Base Browser - GalloIberianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9626-9627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10027-10027
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9625-9625	加洛伊比利亚语是西方浪漫语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9631-9631	加洛浪漫语言是加洛伊比利亚语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10016-10016	伊比利亚浪漫语言是加洛伊比利亚语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25382-25382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25381-25381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25380-25380