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 13678-13678 | 子類 中央鳥頭語 and 中北部鳥類頭語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13707-13707 | 子類 北鳥頭語 and 中北部鳥類頭語 |