Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OfferingForSale
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


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 is open source software produced by Articulate Software and its partners