ion
IRI: https://spec.industrialontologies.org/ontology/construct/Ion
Defined In: https://spec.industrialontologies.org/ontology/biopharma/MolecularEntity/
SubClass Of: molecular entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › molecular entity › ion
Definition
molecular entity having a net electric charge
Examples
- Hydrogen ion (H⁺); Chloride ion (Cl⁻); Sodium ion (Na⁺); Ammonium ion (NH₄⁺)
Direct Source
- https://www.ebi.ac.uk/chebi/CHEBI:24870
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
See the primitive rationale under molecular entity
Formal Axioms
First-Order Logic Axioms
Ion(x) → MolecularEntity(x)
Semi-Formal Natural Language Axioms
if x is an ‘ion’ then x is a ‘molecular entity’
Description Logic
SubClassOf: constr:MolecularEntity
constr:Ion DisjointWith: constr:Salt