No TPTP formula. May not be expressible in strict first order. | Languages.kif 11129-11129 | 子類 北方的iroquoian語言 and iroquoian語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11135-11135 | 子類 laurentian語言 and 北方的iroquoian語言 |
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 11237-11237 | 子類 休恩語 and 北方的iroquoian語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11256-11256 | 子類 tuscarora nottoway 語 and 北方的iroquoian語言 |
![]() |