ABox Deductions term is for example ABox ⇐ (ABox is a term), (is a is inverse of is for example) technical term is for example ABox ⇐ (ABox is a technical term), (is a is inverse of is for example) ABox is a term ⇐ (technical term is subclass of term), (ABox is a technical term)