TreeView Knowledge Base Browser - GalelaLolodaLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13813-13815
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13812-13812	GalelaLolodaLanguage e' uma sub-classe de NorthernNorthHalmaheraLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13818-13818	GalelaLanguage e' uma instancia de GalelaLolodaLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13833-13833	LabaLanguage e' uma instancia de GalelaLolodaLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13842-13842	LolodaLanguage e' uma instancia de GalelaLolodaLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25352-25352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25351-25351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25350-25350