Skip to main content

AXIOM_KIND_SUB_CLASS_OF

Constant AXIOM_KIND_SUB_CLASS_OF 

Source
pub const AXIOM_KIND_SUB_CLASS_OF: &str = "sub_class_of";
Expand description

Snake_case axiom kind stored in Axiom::axiom_kind and SQL axioms.axiom_kind.