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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10756-10756	BelarusanLanguage est une instance de EastSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10723-10723	RussianLanguage est une instance de EastSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10702-10702	RusynLanguage est une instance de EastSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10774-10774	UkrainianLanguage est une instance 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