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	Greek group language is a subclass of indo european language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8518-8518	Attic greek language is a subclass of greek group language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8621-8621	Doric greek language is a subclass of greek group language
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