Implication

Implication (IMP) is a Relation which connects an Action to one or more other Actions. It denotes an action which, by implication, must have happened because it is logically implied by the original action. For instance, A "travelled (with sb)" can have the IMP: A "was in the company (of sb)".

Implication allows to enrich data in the knowledge base with actions which, while not explicitly denoted by the verbs used, implicitly happened. This in turn helps to extend the query results, where the Action's Superclass or Action/Event Equivalent did not necessarily cover the implied action.

Depending on the strictness of use of IMP and the research purpose, IMP can be used to produce only the first-level implication directly appended to the Action, or to follow the implication chain even further (e.g. if action A implies action B, and action B implies action C, then we may decide to also make action A imply action C).

In linguistics, this relation type is sometimes also called entailment.