No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12343-12343 | Neurotransmitter est une sous-classe de substance corporel |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4260-4260 | Dopamine est une sous-classe de Neurotransmitter |