salt

IRI: https://spec.industrialontologies.org/ontology/construct/Salt

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 › salt

Definition

molecular entity that is an assembly of cations and anions

Examples

• sodium chloride; sodium monophosphate; potassium acetate

Adapted From

• https://www.ebi.ac.uk/chebi/CHEBI:24866

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

Salt(x) → MolecularEntity(x) ∧ ∃a (hasContinuantPartAtAllTimes(x, a) ∧ Anion(a)) ∧ ∃c (hasContinuantPartAtAllTimes(x, c) ∧ Cation(c))

Semi-Formal Natural Language Axioms

if x is a ‘salt’ then x is a ‘molecular entity’, x ‘has continuant part at all times’ some ‘anion’, and x ‘has continuant part at all times’ some ‘cation’

Description Logic

constr:Salt ⊑ constr:MolecularEntity

constr:Salt ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:Anion

constr:Salt ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:Cation

constr:Salt ⊓ constr:Ion ⊑ ⊥

SubClassOf: constr:MolecularEntity

SubClassOf: bfo:has_continuant_part_at_all_times some constr:Anion

SubClassOf: bfo:has_continuant_part_at_all_times some constr:Cation

constr:Salt DisjointWith: constr:Ion