Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  OfferingForSale

 Sigma KEE - OfferingForSale
OfferingForSale(offering for sale)
more pictures...

appearance as argument number 1
-------------------------


(subclass OfferingForSale Offering) Mid-level-ontology.kif 9148-9148 Offering for sale is a subclass of offering
(documentation OfferingForSale EnglishLanguage "Offering to sell something to someone.") Mid-level-ontology.kif 9149-9149 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Sweets_Offering_for_Obon.jpg") pictureList.kif 10158-10158 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Seattle_-_International_District_-_streetside_offering_01.jpg") pictureList.kif 11533-11533 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Boot_sale.jpg") pictureList.kif 11534-11534 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Cattle_sale.jpg") pictureList.kif 11535-11535 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Earth_for_sale.jpg") pictureList.kif 11536-11536 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Signs_for_sale.jpg") pictureList.kif 11537-11537 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ Meat_products_for_sale.JPG") pictureList.kif 11538-11538 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Yard_Sale_Northern_CA_2005.JPG") pictureList.kif 11539-11539 Offering for sale is a subclass of offering
(externalImage OfferingForSale "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Salmon_to_buy.jpg") pictureList.kif 11540-11540 Offering for sale is a subclass of offering

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage OfferingForSale "offering for sale") domainEnglishFormat.kif 41667-41667
(termFormat ChineseTraditionalLanguage OfferingForSale "提供出售") domainEnglishFormat.kif 41668-41668
(termFormat ChineseLanguage OfferingForSale "提供出售") domainEnglishFormat.kif 41669-41669

antecedent
-------------------------


(=>
    (and
        (instance ?SALE OfferingForSale)
        (agent ?SALE ?AGENT))
    (desires ?AGENT
        (exists (?SELL ?OBJ)
            (and
                (instance ?SELL Selling)
                (patient ?SELL ?OBJ)
                (agent ?SELL ?AGENT)))))		 Mid-level-ontology.kif 9151-9160 If X is an instance of offering for sale and Y is an agent of X, then Y desires there exist Z, W such that Z is an instance of selling, W is a patient of Z, and Y is an agent of Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners