Deductions
- technical term is for example acronym ⇐ (acronym is a technical term), (is a is inverse of is for example)
- body of water has part technical term ⇐ (depression is a technical term), (body of water has part depression)
- acronym is a technical term ⇐ (initialism is a technical term), (initialism is opposite of acronym)
- technical term is for example key ⇐ (key is a technical term), (is a is inverse of is for example)
- technical term is for example value ⇐ (value is a technical term), (is a is inverse of is for example)
- technical term is for example abstract data type ⇐ (abstract data type is a technical term), (is a is inverse of is for example)
- technical term is for example operand ⇐ (operand is a technical term), (is a is inverse of is for example)
- technical term is for example depression ⇐ (depression is a technical term), (is a is inverse of is for example)
- technical term is for example society (ethnology) ⇐ (society (ethnology) is a technical term), (is a is inverse of is for example)
- technical term is for example plug-in ⇐ (plug-in is a technical term), (is a is inverse of is for example)
- technical term is for example initialism ⇐ (initialism is a technical term), (is a is inverse of is for example)
- plug-in is a technical term ⇐ (computer science term is subclass of technical term), (plug-in is a computer science term)
- key is a technical term ⇐ (computer science term is subclass of technical term), (key is a computer science term)
- abstract data type is a technical term ⇐ (computer science term is subclass of technical term), (abstract data type is a computer science term)
- value is a technical term ⇐ (computer science term is subclass of technical term), (value is a computer science term)
- society (ethnology) is a technical term ⇐ (ethnological term is subclass of technical term), (society (ethnology) is a ethnological term)
- depression is a technical term ⇐ (geologic term is subclass of technical term), (depression is a geologic term)
- ontology has part technical term ⇐ (ABox is a technical term), (ontology has part ABox)
- unary operation has part technical term ⇐ (operand is a technical term), (unary operation has part operand)
- operation has part technical term ⇐ (operand is a technical term), (operation has part operand)
- technical term is for example TBox ⇐ (TBox is a technical term), (is a is inverse of is for example)
- technical term is for example conclusion ⇐ (conclusion is a technical 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)
- technical term is subclass of unit ⇐ (technical term is subclass of linguistic unit), (linguistic unit is subclass of unit), (is subclass of is a transitive relation)
- technical term is subclass of abstract entity ⇐ (technical term is subclass of linguistic unit), (linguistic unit is subclass of abstract entity), (is subclass of is a transitive relation)
- technical term is subclass of linguistic form ⇐ (technical term is subclass of term), (term is subclass of linguistic form), (is subclass of is a transitive relation)
- technical term is subclass of word or phrase ⇐ (technical term is subclass of term), (term is subclass of word or phrase), (is subclass of is a transitive relation)
- technical term is subclass of linguistic unit ⇐ (technical term is subclass of term), (term is subclass of linguistic unit), (is subclass of is a transitive relation)
- TBox is a technical term ⇐ (ABox is a technical term), (ABox is opposite of TBox)