| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11144-11144 | 子類 五國語言 and 北方的iroquoian語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11150-11150 | 子類 莫霍克語oneida語言 and 五國語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11184-11184 | 子類 塞內卡onondaga語言 and 五國語言 |
|
|