SubClassOfAxiom and SubPropertyOfAxiom replace the generic interface