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

KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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