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	WestIberianLanguage est une sous-classe de IberoRomanceLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10204-10204	AsturoLeoneseLanguage est une sous-classe de WestIberianLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10269-10269	CastilianLanguage est une sous-classe de WestIberianLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10448-10448	PortugueseGalicianLanguage est une sous-classe de WestIberianLanguage
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