No TPTP formula. May not be expressible in strict first order. | Languages.kif 12293-12293 | 子類 muskogean語言 and 口語人類語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12300-12300 | 子類 東部的muskogean語言 and muskogean語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12356-12356 | 子類 西方的muskogean語言 and muskogean語言 |