No TPTP formula. May not be expressible in strict first order. | Languages.kif 13665-13665 | 子類 鳥頭語言 and 西papuan語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13671-13671 | 子類 中北部鳥類頭語 and 鳥頭語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13724-13724 | 子類 西鳥頭語 and 鳥頭語言 |
![]() |