TreeView Knowledge Base Browser - WesternRomanceLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9619-9621
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8799-8799
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9618-9618	西方浪漫语言是 italo西方浪漫语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9625-9625	加洛伊比利亚语是西方浪漫语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10535-10535	比利牛斯莫扎拉比语是西方浪漫语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62829-62829
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62828-62828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62827-62827