No TPTP formula. May not be expressible in strict first order. | Languages.kif 11184-11184 | 子類 塞內卡onondaga語言 and 五國語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11190-11190 | 子類 onondaga集團的語言 and 塞內卡onondaga語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11208-11208 | 子類 塞內卡卡尤加語 and 塞內卡onondaga語言 |