Deductions
- convention has quality abstract entity ⇐ (type is a abstract entity), (convention has quality type)
- ugliness is subclass of convention ⇐ (beauty is subclass of convention), (beauty is opposite of ugliness)
- convention has quality entity ⇐ (taxonomic rank is a entity), (convention has quality taxonomic rank)
- convention has quality class ⇐ (type of property is subclass of class), (convention has quality type of property)
- convention has quality superclass ⇐ (convention is subclass of occurrence), (occurrence has quality superclass)
- convention has quality class ⇐ (convention is subclass of occurrence), (occurrence has quality class)
- convention has quality spatio-temporal entity ⇐ (convention is subclass of occurrence), (occurrence has quality spatio-temporal entity)
- convention has quality type ⇐ (convention is subclass of occurrence), (occurrence has quality type)
- convention has quality impermanence ⇐ (convention is subclass of occurrence), (occurrence has quality impermanence)
- convention has quality taxonomic rank ⇐ (convention is subclass of occurrence), (occurrence has quality taxonomic rank)
- convention has quality type of property ⇐ (convention is subclass of occurrence), (occurrence has quality type of property)
- convention has quality point in time ⇐ (convention is subclass of occurrence), (occurrence has quality point in time)
- convention has quality object ⇐ (convention is subclass of occurrence), (occurrence has quality object)
- convention has quality quality ⇐ (convention is subclass of occurrence), (occurrence has quality quality)
- convention has quality temporal entity ⇐ (convention is subclass of occurrence), (occurrence has quality temporal entity)
- convention has quality type of object ⇐ (convention is subclass of occurrence), (occurrence has quality type of object)
- convention has quality existence ⇐ (convention is subclass of occurrence), (occurrence has quality existence)
- unit is for example convention ⇐ (convention is a unit), (is a is inverse of is for example)
- convention is a unit ⇐ (sourcing circumstance is subclass of unit), (convention is a sourcing circumstance)
- sourcing circumstance is for example convention ⇐ (convention is a sourcing circumstance), (is a is inverse of is for example)
- term is for example convention ⇐ (convention is a term), (is a is inverse of is for example)
- convention is for example World Economic Forum Annual Meeting 1993 ⇐ (World Economic Forum Annual Meeting 1993 is a convention), (is a is inverse of is for example)
- convention is for example World Economic Forum Annual Meeting 1991 ⇐ (World Economic Forum Annual Meeting 1991 is a convention), (is a is inverse of is for example)
- convention is for example World Economic Forum Annual Meeting 1992 ⇐ (World Economic Forum Annual Meeting 1992 is a convention), (is a is inverse of is for example)
- convention is subclass of occurrent ⇐ (convention is subclass of event), (event is subclass of occurrent), (is subclass of is a transitive relation)
- convention is subclass of spatio-temporal entity ⇐ (convention is subclass of event), (event is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- convention is subclass of occurrence ⇐ (convention is subclass of event), (event is subclass of occurrence), (is subclass of is a transitive relation)
- convention is subclass of object ⇐ (convention is subclass of event), (event is subclass of object), (is subclass of is a transitive relation)
- convention is subclass of entity ⇐ (convention is subclass of event), (event is subclass of entity), (is subclass of is a transitive relation)
- convention is subclass of abstract entity ⇐ (convention is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- convention is subclass of entity ⇐ (convention is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- convention is subclass of event ⇐ (convention is subclass of meeting), (meeting is subclass of event), (is subclass of is a transitive relation)
- mathematical beauty is subclass of convention ⇐ (mathematical beauty is subclass of beauty), (beauty is subclass of convention), (is subclass of is a transitive relation)
- convention is subclass of class ⇐ (convention is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- World Economic Forum Annual Meeting 1992 is a convention ⇐ (World Economic Forum Annual Meeting is subclass of convention), (World Economic Forum Annual Meeting 1992 is a World Economic Forum Annual Meeting)
- World Economic Forum Annual Meeting 1991 is a convention ⇐ (World Economic Forum Annual Meeting is subclass of convention), (World Economic Forum Annual Meeting 1991 is a World Economic Forum Annual Meeting)
- World Economic Forum Annual Meeting 1993 is a convention ⇐ (World Economic Forum Annual Meeting is subclass of convention), (World Economic Forum Annual Meeting 1993 is a World Economic Forum Annual Meeting)