Deductions
- meeting has quality class ⇐ (quality is a class), (meeting has quality quality)
- meeting has quality abstract entity ⇐ (type is a abstract entity), (meeting has quality type)
- meeting has quality entity ⇐ (taxonomic rank is a entity), (meeting has quality taxonomic rank)
- meeting is for example Second Continental Congress ⇐ (Second Continental Congress is a meeting), (is a is inverse of is for example)
- type is for example meeting ⇐ (meeting is a type), (is a is inverse of is for example)
- Second Continental Congress is a meeting ⇐ (congress is subclass of meeting), (Second Continental Congress is a congress)
- meeting is a type ⇐ (form of event is subclass of type), (meeting is a form of event)
- meeting has quality class ⇐ (type of property is a class), (meeting has quality type of property)
- meeting has quality existence ⇐ (meeting is subclass of occurrence), (occurrence has quality existence)
- meeting has quality spatio-temporal entity ⇐ (meeting is subclass of occurrence), (occurrence has quality spatio-temporal entity)
- meeting has quality type of object ⇐ (meeting is subclass of occurrence), (occurrence has quality type of object)
- meeting has quality temporal entity ⇐ (meeting is subclass of occurrence), (occurrence has quality temporal entity)
- meeting has quality quality ⇐ (meeting is subclass of occurrence), (occurrence has quality quality)
- meeting has quality object ⇐ (meeting is subclass of occurrence), (occurrence has quality object)
- meeting has quality point in time ⇐ (meeting is subclass of occurrence), (occurrence has quality point in time)
- meeting has quality type of property ⇐ (meeting is subclass of occurrence), (occurrence has quality type of property)
- meeting has quality taxonomic rank ⇐ (meeting is subclass of occurrence), (occurrence has quality taxonomic rank)
- meeting has quality impermanence ⇐ (meeting is subclass of occurrence), (occurrence has quality impermanence)
- meeting has quality type ⇐ (meeting is subclass of occurrence), (occurrence has quality type)
- meeting has quality superclass ⇐ (meeting is subclass of occurrence), (occurrence has quality superclass)
- form of event is for example meeting ⇐ (meeting is a form of event), (is a is inverse of is for example)
- meeting is subclass of occurrent ⇐ (meeting is subclass of event), (event is subclass of occurrent), (is subclass of is a transitive relation)
- meeting is subclass of spatio-temporal entity ⇐ (meeting is subclass of event), (event is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- meeting is subclass of occurrence ⇐ (meeting is subclass of event), (event is subclass of occurrence), (is subclass of is a transitive relation)
- meeting is subclass of object ⇐ (meeting is subclass of event), (event is subclass of object), (is subclass of is a transitive relation)
- meeting is subclass of entity ⇐ (meeting is subclass of event), (event is subclass of entity), (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)