| 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 |
| 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 |
|
|