more pictures...| OfferingForSale(offering for sale)
more pictures... |
| appearance as argument number 1 |
|
| (documentation OfferingForSale EnglishLanguage "Offering to sell something to someone.") | Mid-level-ontology.kif 7828-7828 | |
| (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 7827-7827 | Offering for sale is a subclass of offering |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OfferingForSale "提供出售") | domainEnglishFormat.kif 41668-41668 | |
| (termFormat ChineseTraditionalLanguage OfferingForSale "提供出售") | domainEnglishFormat.kif 41667-41667 | |
| (termFormat EnglishLanguage OfferingForSale "offering for sale") | domainEnglishFormat.kif 41666-41666 |
| 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 7830-7839 |
|
|
|
|