No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | 子類 Arthropod and Invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14551-14551 | 子類 Arachnid and Arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14555-14555 | 子類 Myriapod and Arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14559-14559 | 子類 Insect and Arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14563-14563 | 子類 Crustacean and Arthropod |