TreeView Knowledge Base Browser - SwedishGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7225-7226
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10277-10277
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11916-11916
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11912-11912
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11913-11913
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11915-11915
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11920-11920
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11919-11919
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11918-11918
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11917-11917
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11914-11914
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7224-7224	子類瑞典團體語言 and 丹麥語瑞典語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7229-7229	例達萊爾語言 and 瑞典團體語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7238-7238	例 skane語言 and 瑞典團體語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7256-7256	例瑞典語 and 瑞典團體語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7292-7292	例塔夫林格羅馬語 and 瑞典團體語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56491-56491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56490-56490
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56489-56489