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 8601-8601 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Sweets_Offering_for_Obon.jpg") | pictureList.kif 10158-10158 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Boot_sale.jpg") | pictureList.kif 11534-11534 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Meat_products_for_sale.JPG") | pictureList.kif 11538-11538 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Earth_for_sale.jpg") | pictureList.kif 11536-11536 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Signs_for_sale.jpg") | pictureList.kif 11537-11537 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Salmon_to_buy.jpg") | pictureList.kif 11540-11540 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Yard_Sale_Northern_CA_2005.JPG") | pictureList.kif 11539-11539 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Seattle_-_International_District_-_streetside_offering_01.jpg") | pictureList.kif 11533-11533 | |
| (externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Cattle_sale.jpg") | pictureList.kif 11535-11535 | |
| (subclass OfferingForSale Offering) | Mid-level-ontology.kif 8600-8600 | Offering for sale is a subclass of offering |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OfferingForSale "提供出售") | domainEnglishFormat.kif 41699-41699 | |
| (termFormat ChineseTraditionalLanguage OfferingForSale "提供出售") | domainEnglishFormat.kif 41698-41698 | |
| (termFormat EnglishLanguage OfferingForSale "offering for sale") | domainEnglishFormat.kif 41697-41697 |
| 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 8603-8612 |
|
|
|
|