No TPTP formula. May not be expressible in strict first order. | Merge.kif 14812-14812 | Animal substance is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8708-8708 | Cholesterol is a subclass of animal substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9446-9446 | Tendon is a subclass of animal substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9457-9457 | Sweat is a subclass of animal substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21632-21632 | Honey is a subclass of animal substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14876-14876 | Meat is a subclass of animal substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15190-15190 | Bone tissue is a subclass of animal substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15225-15225 | Muscle tissue is a subclass of animal substance |