AtticGreekLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8622-8623
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8519-8520
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8359-8359
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8518-8518	子類閣樓希臘語言 and 希臘團體語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8523-8523	例古希臘語 and 閣樓希臘語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8531-8531	例卡帕多西亞希臘語 and 閣樓希臘語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8545-8545	例希臘語 and 閣樓希臘語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8584-8584	例 pontic希臘語 and 閣樓希臘語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8601-8601	例羅馬希臘語 and 閣樓希臘語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8608-8608	例 yevanic希臘語 and 閣樓希臘語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8994-8994
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8993-8993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8992-8992