| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11129-11129 | 北方的iroquoian语言 是 iroquoian语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11135-11135 | Laurentian语言 是 北方的iroquoian语言 的 subclass |
| 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 11237-11237 | 休恩语 是 北方的iroquoian语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11256-11256 | Tuscarora nottoway 语 是 北方的iroquoian语言 的 subclass |
|
|