| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8511-8511 | 子類 希臘團體語言 and 印度歐洲語言 |
| 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 希臘團體語言 |
|
|