No TPTP formula. May not be expressible in strict first order. | Merge.kif 14806-14806 | Body substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 218-218 | Mycotoxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | Batrachotoxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 323-323 | Botulinum toxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 349-349 | Epsilon toxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | Saxitoxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1469-1469 | Conotoxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1478-1478 | Tetrodotoxin is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2062-2062 | Excrement is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9181-9181 | Rubber is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10849-10849 | Liquid body substance is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11992-11992 | Gall is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12313-12313 | Saliva is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12328-12328 | Mucus is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12344-12344 | Neurotransmitter is a subclass of body substance |
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. | Merge.kif 14823-14823 | Plant substance is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14834-14834 | Hormone is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14853 | Blood is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | Tissue is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1140-1140 | Blood plasma is a subclass of body substance |