No TPTP formula. May not be expressible in strict first order. | Languages.kif 5954-5954 | 子類 caddoan語言 and 口語人類語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5961-5961 | 子類 北方的caddoan語言 and caddoan語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6031-6031 | 子類 南部的caddoan語言 and caddoan語言 |
![]() |