TreeView Knowledge Base Browser - CzechSlovakLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10994-10995
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10993-10993	捷克斯洛伐克语是西斯拉夫语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10998-10998	捷克语是捷克斯洛伐克语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11011-11011	Knaanic语言是捷克斯洛伐克语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11020-11020	斯洛伐克语是捷克斯洛伐克语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18342-18342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18341-18341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18340-18340