Constant AXIOM_KIND_DISJOINT_OBJECT_PROPERTIES 

pub const AXIOM_KIND_DISJOINT_OBJECT_PROPERTIES: &str = "disjoint_object_properties";