TBox

Deductions

• term is for example TBox ⇐ (TBox is a term), (is a is inverse of is for example)
• technical term is for example TBox ⇐ (TBox is a technical term), (is a is inverse of is for example)
• TBox is a term ⇐ (technical term is subclass of term), (TBox is a technical term)
• TBox is a technical term ⇐ (ABox is a technical term), (ABox is opposite of TBox)