(=>
(and
(instance ?B Buying)
(patient ?B ?ITEM)
(origin ?B ?AGENT)
(or
(publishedPrice ?ENT ?PRICE ?AGENT ?PS)
(unitPrice ?ENT ?QUANT ?AGENT ?PS))
(subclass ?ENT Physical)
(immediateInstance ?ITEM ?ENT)
(validPaymentType ?PS ?PAY))
(modalAttribute
(exists (?PAYMENT)
(and
(instance ?PAYMENT ?PAY)
(subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 337-352 |
If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely |
(=>
(and
(or
(publishedPrice ?ENT ?PRICE ?AGENT ?PS)
(unitPrice ?ENT ?QUANT ?AGENT ?PS))
(subclass ?ENT Physical)
(immediateInstance ?ITEM ?ENT)
(validFor ?PS ?CUSTCLASS)
(instance ?CUSTOMER ?CUSTCLASS))
(modalAttribute
(=>
(and
(instance ?B Buying)
(agent ?B ?CUSTOMER)
(origin ?B ?AGENT)
(patient ?B ?ITEM))
(transactionAmount ?B ?PRICE)) Likely)) |
Catalog.kif 354-370 |
If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, Z is valid for T, and S is an instance of T, then the statement R is an instance of buying, S is an agent of R, R originates at Y, and U is a patient of RW is a transaction amount of R has the modal force of likely |
(=>
(and
(or
(publishedPrice ?ENT ?PRICE ?AGENT ?PS)
(unitPrice ?ENT ?QUANT ?AGENT ?PS))
(subclass ?ENT Physical)
(immediateInstance ?ITEM ?ENT)
(validityPeriod ?PS ?TIMEINT))
(holdsDuring ?TIMEINT
(modalAttribute
(=>
(and
(instance ?S Selling)
(agent ?S ?AGENT)
(patient ?S ?ITEM))
(transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 372-387 |
If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T |
(=>
(unitPrice ?ENT ?QUANT ?AGENT ?PS)
(exists (?MEAS ?AMT ?UOM)
(and
(equal ?QUANT
(PerFn ?MEAS
(MeasureFn ?AMT ?UOM)))
(instance ?MEAS CurrencyMeasure)))) |
Catalog.kif 402-407 |
If the unit price charged X under Y for Z is W, then there exist V, U and T such that equal Z and the per of V and U T(s) and V is an instance of currency measure |
unitPrice