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. | Medicine.kif 4260-4260 | Dopamine is a subclass of neurotransmitter |