No TPTP formula. May not be expressible in strict first order. | Languages.kif 13671-13671 | 中北部鸟类头语 是 鸟头语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13678-13678 | 中央鸟头语 是 中北部鸟类头语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13707-13707 | 北鸟头语 是 中北部鸟类头语 的 subclass |