anion
IRI: https://spec.industrialontologies.org/ontology/construct/Anion
Defined In: https://spec.industrialontologies.org/ontology/biopharma/MolecularEntity/
SubClass Of: ion
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › molecular entity › ion › anion
Definition
ion that is a monoatomic or polyatomic species having one or more elementary charges of the electron
Examples
- Sulfate ion (SO₄²⁻); Nitrate ion (NO₃⁻); Acetate ion (CH₃COO⁻)
Adapted From
- https://www.ebi.ac.uk/chebi/CHEBI:22563
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
Anion(x) → Ion(x)
Semi-Formal Natural Language Axioms
if x is an ‘anion’ then x is an ‘ion’
Description Logic
SubClassOf: constr:Ion
constr:Anion DisjointWith: constr:Cation