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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OfferingForSale

Sigma KEE - OfferingForSale
OfferingForSale(提供出售)
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 子類 提供出售 and 提供

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