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 14578-14578 | 两栖动物 是 冷血脊椎动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14588-14588 | 鱼 是 冷血脊椎动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14685-14685 | 爬虫类 是 冷血脊椎动物 的 subclass |
![]() |