(=>
(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 |
|