TreeView Knowledge Base Browser - EastSlavicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10698-10699
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10697-10697	EastSlavicLanguage e' uma sub-classe de SlavicLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10756-10756	BelarusanLanguage e' uma instancia de EastSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10723-10723	RussianLanguage e' uma instancia de EastSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10702-10702	RusynLanguage e' uma instancia de EastSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10774-10774	UkrainianLanguage e' uma instancia de EastSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21012-21012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21011-21011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21010-21010