Deductions
- World Economic Forum Annual Meeting has quality class ⇐ (abstract entity is a class), (World Economic Forum Annual Meeting has quality abstract entity)
- World Economic Forum Annual Meeting has quality entity ⇐ (type is a entity), (World Economic Forum Annual Meeting has quality type)
- World Economic Forum Annual Meeting has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (World Economic Forum Annual Meeting has quality metaclass)
- World Economic Forum Annual Meeting has quality metaclass ⇐ (form of event is a metaclass), (World Economic Forum Annual Meeting has quality form of event)
- World Economic Forum Annual Meeting has quality type ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality type)
- World Economic Forum Annual Meeting has quality existence ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality existence)
- World Economic Forum Annual Meeting has quality spatio-temporal entity ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality spatio-temporal entity)
- World Economic Forum Annual Meeting has quality point in time ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality point in time)
- World Economic Forum Annual Meeting has quality type of object ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality type of object)
- World Economic Forum Annual Meeting has quality object ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality object)
- World Economic Forum Annual Meeting has quality form of event ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality form of event)
- World Economic Forum Annual Meeting has quality temporal entity ⇐ (World Economic Forum Annual Meeting is subclass of event), (event has quality temporal entity)
- World Economic Forum Annual Meeting is for example World Economic Forum Annual Meeting 1992 ⇐ (World Economic Forum Annual Meeting 1992 is a World Economic Forum Annual Meeting), (is a is inverse of is for example)
- World Economic Forum Annual Meeting is for example World Economic Forum Annual Meeting 1991 ⇐ (World Economic Forum Annual Meeting 1991 is a World Economic Forum Annual Meeting), (is a is inverse of is for example)
- World Economic Forum Annual Meeting is for example World Economic Forum Annual Meeting 1993 ⇐ (World Economic Forum Annual Meeting 1993 is a World Economic Forum Annual Meeting), (is a is inverse of is for example)
- World Economic Forum Annual Meeting is subclass of event ⇐ (World Economic Forum Annual Meeting is subclass of convention), (convention is subclass of event), (is subclass of is a transitive relation)
- World Economic Forum Annual Meeting is subclass of meeting ⇐ (World Economic Forum Annual Meeting is subclass of convention), (convention is subclass of meeting), (is subclass of is a transitive relation)