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	子類希臘團體語言 and 印度歐洲語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8518-8518	子類閣樓希臘語言 and 希臘團體語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8621-8621	子類多立克語希臘語 and 希臘團體語言
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