No TPTP formula. May not be expressible in strict first order. | Merge.kif 14524-14524 | Arthropod is a subclass of invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14529-14529 | Arachnid is a subclass of arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14533-14533 | Myriapod is a subclass of arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14537-14537 | Insect is a subclass of arthropod |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14541-14541 | Crustacean is a subclass of arthropod |