consequent

(=>     (and         (instance ?A Attaching)         (patient ?A ?O1)         (patient ?A ?O2)         (holdsDuring             (BeginFn                 (WhenFn ?A))             (not                 (connected ?O1 ?O2)))         (holdsDuring             (EndFn                 (WhenFn ?A))             (connected ?O1 ?O2)))     (and         (objectAttached ?A ?O1)         (objectAttached ?A ?O2)))	Merge.kif 12671-12685	If X is an instance of attaching, Y is a patient of X, Z is a patient of X, Y is not connected to Z holds during the beginning of the time of existence of X, and Y is connected to Z holds during the end of the time of existence of X, then X attaches Y to another object and X attaches Z to another object
(=>     (instance ?F Fertilisation)     (exists (?G1 ?G2)         (and             (instance ?G1 Gamete)             (instance ?G2 Gamete)             (not                 (equal ?G1 ?G2))             (objectAttached ?F ?G1)             (objectAttached ?F ?G2))))	Mid-level-ontology.kif 26262-26271	If X is an instance of conceiving, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of gamete (3) Z is an instance of gamete (4) equal Y (5) Z (6) X attaches Y to another object (7) X attaches Z to another object

Show simplified definition (without tree view)
Show simplified definition (with tree view)