BargainSale |
appearance as argument number 1 |
(documentation BargainSale EnglishLanguage "Offering to sell something to someone at a reduced price.") | Mid-level-ontology.kif 7872-7873 | |
(subclass BargainSale Offering) | Mid-level-ontology.kif 7871-7871 |
appearance as argument number 2 |
(termFormat ChineseLanguage BargainSale "廉价出售") | domainEnglishFormat.kif 9912-9912 | |
(termFormat ChineseTraditionalLanguage BargainSale "廉價出售") | domainEnglishFormat.kif 9911-9911 | |
(termFormat EnglishLanguage BargainSale "bargain sale") | domainEnglishFormat.kif 9910-9910 |
antecedent |
(=> (and (instance ?SALE BargainSale) (patient ?SALE ?OBJ) (instance ?OBJ Object)) (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U) (and (instance ?U UnitOfCurrency) (holdsDuring (ImmediatePastFn (WhenFn ?SALE)) (price ?OBJ (MeasureFn ?PRICE1 ?U) ?AGENT1)) (holdsDuring (WhenFn ?SALE) (price ?OBJ (MeasureFn ?PRICE2 ?U) ?AGENT2)) (lessThan ?PRICE2 ?PRICE1)))) |
Mid-level-ontology.kif 7875-7889 |