TreeView Knowledge Base Browser - KrisaGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12961-12962
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12960-12960	KrisaGroupLanguage e' uma sub-classe de SkoLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12965-12965	KrisaLanguage e' uma instancia de KrisaGroupLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12972-12972	PuariLanguage e' uma instancia de KrisaGroupLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12979-12979	RawoLanguage e' uma instancia de KrisaGroupLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12987-12987	WarapuLanguage e' uma instancia de KrisaGroupLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32845-32845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32844-32844
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32843-32843