OfferingForSale(offering for sale) more pictures... |
appearance as argument number 1 |
(documentation OfferingForSale EnglishLanguage "Offering to sell something to someone.") | Mid-level-ontology.kif 7855-7855 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Sweets_Offering_for_Obon.jpg") | pictureList.kif 10160-10160 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Boot_sale.jpg") | pictureList.kif 11541-11541 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Meat_products_for_sale.JPG") | pictureList.kif 11545-11545 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Earth_for_sale.jpg") | pictureList.kif 11543-11543 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Signs_for_sale.jpg") | pictureList.kif 11544-11544 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Salmon_to_buy.jpg") | pictureList.kif 11547-11547 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Yard_Sale_Northern_CA_2005.JPG") | pictureList.kif 11546-11546 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Seattle_-_International_District_-_streetside_offering_01.jpg") | pictureList.kif 11540-11540 | |
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Cattle_sale.jpg") | pictureList.kif 11542-11542 | |
(subclass OfferingForSale Offering) | Mid-level-ontology.kif 7854-7854 | Offering for sale is a subclass of offering |
appearance as argument number 2 |
(termFormat ChineseLanguage OfferingForSale "提供出售") | domainEnglishFormat.kif 41670-41670 | |
(termFormat ChineseTraditionalLanguage OfferingForSale "提供出售") | domainEnglishFormat.kif 41669-41669 | |
(termFormat EnglishLanguage OfferingForSale "offering for sale") | domainEnglishFormat.kif 41668-41668 |
antecedent |
(=> (and (instance ?SALE OfferingForSale) (agent ?SALE ?AGENT)) (patient ?SALE (exists (?SELL ?OBJ) (and (instance ?SELL Selling) (patient ?SELL ?OBJ) (agent ?SELL ?AGENT))))) |
Mid-level-ontology.kif 7857-7866 |
|