GreekGroupLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8512-8514
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11097-11097
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11099-11099
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11101-11101
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11102-11102
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10038-10038
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11100-11100
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11098-11098
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11096-11096
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8511-8511	希腊团体语言是印度欧洲语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8518-8518	阁楼希腊语言是希腊团体语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8621-8621	多立克语希腊语是希腊团体语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26568-26568
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26567-26567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26566-26566