| AtticGreekLanguage(attic greek language)
| | Aeolic, Aeolic_dialect, Arcadic, Arcadic_dialect, Attic, Classical_Greek, Doric, Doric_dialect, Eolic, Ionic, Ionic_dialect |
| 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 | Attic greek language is a subclass of greek group language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8523-8523 | Ancient greek language is an instance of attic greek language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8531-8531 | Cappadocian greek language is an instance of attic greek language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8545-8545 | Greek language is an instance of attic greek language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8584-8584 | Pontic greek language is an instance of attic greek language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8601-8601 | Romano greek language is an instance of attic greek language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8608-8608 | Yevanic greek language is an instance of attic greek language |
| 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 |
|
|
|