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	WesternRomanceLanguage est une sous-classe de ItaloWesternRomanceLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9625-9625	GalloIberianLanguage est une sous-classe de WesternRomanceLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10535-10535	PyreneanMozarabicLanguage est une sous-classe de WesternRomanceLanguage
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