TreeView Knowledge Base Browser - InsularCelticLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6973-6974
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11231-11231
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11228-11228
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11230-11230
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11227-11227
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10066-10066
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11229-11229
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6972-6972	子類島嶼凱爾特語 and 凱爾特語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6978-6978	子類 brythonic語言 and 島嶼凱爾特語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7039-7039	子類 goidelic語言 and 島嶼凱爾特語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30289-30289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30288-30288
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30287-30287