No TPTP formula. May not be expressible in strict first order. | Languages.kif 11144-11144 | 五国语言 是 北方的iroquoian语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11150-11150 | 莫霍克语oneida语言 是 五国语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11184-11184 | 塞内卡onondaga语言 是 五国语言 的 subclass |