No TPTP formula. May not be expressible in strict first order. | Merge.kif 14524-14524 | 子類 Arthropod and Invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14529-14529 | 子類 Arachnid and Arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14533-14533 | 子類 Myriapod and Arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14537-14537 | 子類 Insect and Arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14541-14541 | 子類 Crustacean and Arthropod |