Constant AXIOM_KIND_DISJOINT_CLASS 

pub const AXIOM_KIND_DISJOINT_CLASS: &str = "disjoint_class";