antecedent

(=>     (and         (negotiatedPrice ?ENT ?PRICE ?AGREE)         (partyToAgreement ?SELLER ?AGREE)         (partyToAgreement ?BUYER ?AGREE))     (modalAttribute         (exists (?S ?ITEM)             (and                 (instance ?S Selling)                 (patient ?S ?ITEM)                 (immediateInstance ?ITEM ?ENT)                 (agent ?S ?SELLER)                 (destination ?S ?BUYER)                 (transactionAmount ?S ?PRICE))) Promise))	Catalog.kif 276-289	If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) the statement there exist U (2) T such that U is an instance of selling (3) T is a patient of U (4) T is an immediate instance of X (5) W is an agent of U (6) U ends up at V (7) Z is a transaction amount of U has the modal force of promise
(=>     (and         (negotiatedPrice ?ENT ?PRICE ?AGREE)         (partyToAgreement ?SELLER ?AGREE)         (partyToAgreement ?BUYER ?AGREE))     (agreementClause         (exists (?B ?ITEM)             (and                 (instance ?B Buying)                 (patient ?B ?ITEM)                 (immediateInstance ?ITEM ?ENT)                 (agent ?B ?BUYER)                 (origin ?B ?SELLER)                 (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER))	Catalog.kif 311-324	If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) W has the responsibility to make there exist U (2) T such that U is an instance of buying (3) T is a patient of U (4) T is an immediate instance of X (5) V is an agent of U (6) U originates at W (7) Z is a transaction amount of U obligation in Y

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