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	子類捷克斯洛伐克語 and 西斯拉夫語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10998-10998	例捷克語 and 捷克斯洛伐克語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11011-11011	例 knaanic語言 and 捷克斯洛伐克語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11020-11020	例斯洛伐克語 and 捷克斯洛伐克語
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