TreeView Knowledge Base Browser - IberoRomanceLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10017-10018
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10016-10016	IberoRomanceLanguage e' uma sub-classe de GalloIberianLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10022-10022	EastIberianLanguage e' uma sub-classe de IberoRomanceLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10073-10073	OcLanguage e' uma sub-classe de IberoRomanceLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10198-10198	WestIberianLanguage e' uma sub-classe de IberoRomanceLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29097-29097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29096-29096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29095-29095