No TPTP formula. May not be expressible in strict first order. | Merge.kif 14522-14522 | 脊椎动物 是 动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14568-14568 | 冷血脊椎动物 是 脊椎动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14573-14573 | 温血脊椎动物 是 脊椎动物 的 subclass |