Deductions
- Second Continental Congress has quality class ⇐ (existence is a class), (Second Continental Congress has quality existence)
- spatio-temporal entity is for example Second Continental Congress ⇐ (Second Continental Congress is a spatio-temporal entity), (is a is inverse of is for example)
- meeting is for example Second Continental Congress ⇐ (Second Continental Congress is a meeting), (is a is inverse of is for example)
- occurrence is for example Second Continental Congress ⇐ (Second Continental Congress is a occurrence), (is a is inverse of is for example)
- entity is for example Second Continental Congress ⇐ (Second Continental Congress is a entity), (is a is inverse of is for example)
- occurrent is for example Second Continental Congress ⇐ (Second Continental Congress is a occurrent), (is a is inverse of is for example)
- Second Continental Congress has quality existence ⇐ (Second Continental Congress is a occurrent), (occurrent has quality existence)
- Second Continental Congress is a occurrent ⇐ (meeting is subclass of occurrent), (Second Continental Congress is a meeting)
- Second Continental Congress is a entity ⇐ (spatio-temporal entity is subclass of entity), (Second Continental Congress is a spatio-temporal entity)
- Second Continental Congress is a spatio-temporal entity ⇐ (meeting is subclass of spatio-temporal entity), (Second Continental Congress is a meeting)
- Second Continental Congress is a occurrence ⇐ (meeting is subclass of occurrence), (Second Continental Congress is a meeting)
- Second Continental Congress is a meeting ⇐ (congress is subclass of meeting), (Second Continental Congress is a congress)
- congress is for example Second Continental Congress ⇐ (Second Continental Congress is a congress), (is a is inverse of is for example)