cation
IRI: https://spec.industrialontologies.org/ontology/construct/Cation
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 › cation
Definition
ion that is a monoatomic or polyatomic species having one or more elementary charges of the proton
Examples
- Potassium ion (K⁺); Calcium ion (Ca²⁺); Ammonium ion (NH₄⁺)
Adapted From
- https://www.ebi.ac.uk/chebi/CHEBI:36916
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
Cation(x) → Ion(x)
Semi-Formal Natural Language Axioms
if x is a ‘cation’ then x is an ‘ion’
Description Logic
SubClassOf: constr:Ion
constr:Cation DisjointWith: constr:Anion