TreeView Knowledge Base Browser - WestSlavicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10988-10989
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10987-10987	WestSlavicLanguage e' uma sub-classe de SlavicLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10993-10993	CzechSlovakLanguage e' uma sub-classe de WestSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11038-11038	LechiticLanguage e' uma sub-classe de WestSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11088-11088	SorbianLanguage e' uma sub-classe de WestSlavicLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62919-62919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62918-62918
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62917-62917