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	瑞典团体语言是丹麦语瑞典语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7229-7229	达莱尔语言是瑞典团体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7238-7238	Skane语言是瑞典团体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7256-7256	瑞典语是瑞典团体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7292-7292	塔夫林格罗马语是瑞典团体语言的 instance
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