antecedent

(=>     (productPrice ?ENT ?PRICE ?AGENT)     (modalAttribute         (=>             (and                 (instance ?S Selling)                 (immediateInstance ?I ?ENT)                 (patient ?S ?I)                 (agent ?S ?AGENT))             (transactionAmount ?S ?PRICE)) Likely))	Catalog.kif 419-428	If X sells Y for Z, then the statement W is an instance of selling, V is an immediate instance of Y, V is a patient of W, and X is an agent of WZ is a transaction amount of W has the modal force of likely
(=>     (and         (productPrice ?ENT             (MeasureFn ?PRICE1 ?U) ?AGENT)         (instance ?U UnitOfCurrency)         (publishedPrice ?ENT             (MeasureFn ?PRICE2 ?U) ?AGENT ?PS)         (validFor ?PS ?CUSTCLASS)         (instance ?ITEM ?ENT)         (instance ?B Buying)         (immediateInstance ?CUST ?CUSTCLASS)         (agent ?B ?CUST)         (origin ?B ?AGENT)         (lessThan ?PRICE2 ?PRICE1))     (modalAttribute         (transactionAmount ?B ?PRICE1) Likely))	Catalog.kif 430-445	If All of the following hold: (1) X sells Y for Z W(s) (2) W is an instance of unit of currency (3) the price of Y from X according to V is U W(s) (4) V is valid for T (5) S is an instance of Y (6) R is an instance of buying (7) Q is an immediate instance of T (8) Q is an agent of R (9) R originates at X (10) U is less than Z, then the statement Z is a transaction amount of R has the modal force of likely

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