consequent

(=>     (expressedInLanguage ?EXPRESS ?LANGUAGE)     (exists (?PROP)         (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))	Merge.kif 4737-4740	If X is expressed in language Y, then there exists Z such that X represents Z in the language Y
(=>     (and         (instance ?TRANSLATE Translating)         (patient ?TRANSLATE ?EXPRESSION1)         (result ?TRANSLATE ?EXPRESSION2))     (exists (?LANGUAGE1 ?LANGUAGE2 ?ENTITY)         (and             (representsInLanguage ?EXPRESSION1 ?ENTITY ?LANGUAGE1)             (representsInLanguage ?EXPRESSION2 ?ENTITY ?LANGUAGE2)             (not                 (equal ?LANGUAGE1 ?LANGUAGE2)))))	Merge.kif 13026-13035	If X is an instance of translating, Y is a patient of X, and Z is a result of X, then there exist W, V, U such that Y represents U in the language W, Z represents U in the language V, equal W, and V
(=>     (originalExpressedInLanguage ?PROP ?LANG)     (exists (?PHYS ?TIME)         (and             (instance ?PHYS LinguisticExpression)             (representsInLanguage ?PHYS ?PROP ?LANG)             (equal ?TIME                 (WhenFn ?PHYS))             (not                 (exists (?BEFORE ?OTHER)                     (and                         (instance ?OTHER LinguisticExpression)                         (represents ?OTHER ?PROP)                         (equal ?BEFORE                             (WhenFn ?OTHER))                         (before ?BEFORE ?TIME)))))))	Music.kif 1461-1474	If X was first expressed as Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of linguistic expression (3) Z represents X in the language Y (4) equal W (5) the time of existence of Z (6) there don't exist V (7) U such that U is an instance of linguistic expression (8) U expresses X (9) equal V (10) the time of existence of U (11) V happens before W

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