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


KB Term:  Term intersection
English Word: 

Sigma KEE - Tableware
Tableware(tableware)
brandy_glass, brandy_snifter, carving_fork, china, cutlery, dessert_spoon, dinner_service, dinner_set, eating_utensil, flatware, fork, paper_plate, place_setting, plate, platter, rummer, runcible_spoon, salad_bowl, salad_fork, salad_plate, schooner, service, setting, snifter, soup_spoon, soupspoon, spoon, steel_plate, sugar_shell, sugar_spoon, table_service, tablefork, tablespoon, tableware, teaspoon, toasting_fork, wooden_spoon

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


(subclass Tableware Device) Mid-level-ontology.kif 2847-2847 Tableware is a subclass of device
(documentation Tableware EnglishLanguage "Devices that are used in Ingesting (Eating and/ or Drinking) a meal. This coves dishware, flatware, and glassware.") Mid-level-ontology.kif 2848-2849 Tableware is a subclass of device
(externalImage Tableware "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Fork.agr.jpg") pictureList.kif 98-98 Tableware is a subclass of device
(externalImage Tableware "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Dessert_Spoon.jpg") pictureList.kif 174-174 Tableware is a subclass of device

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


(termFormat EnglishLanguage Tableware "tableware") domainEnglishFormat.kif 56696-56696
(termFormat ChineseTraditionalLanguage Tableware "餐具") domainEnglishFormat.kif 56697-56697
(termFormat ChineseLanguage Tableware "餐具") domainEnglishFormat.kif 56698-56698

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


(=>
    (instance ?T Tableware)
    (hasPurpose ?T
        (exists (?I)
            (and
                (instance ?I Ingesting)
                (instrument ?I ?T)))))		 Mid-level-ontology.kif 2851-2857 If X is an instance of tableware, then X has the purpose there exists Y such that Y is an instance of ingesting and X is an instrument for Y

consequent
-------------------------


(=>
    (instance ?DEVICE Dishwasher)
    (hasPurpose ?DEVICE
        (exists (?DISH ?CLEANING)
            (and
                (instance ?DISH Tableware)
                (instance ?CLEANING Washing)
                (patient ?CLEANING ?DISH)
                (instrument ?CLEANING ?DEVICE)))))		 HouseholdAppliances.kif 624-632 If X is an instance of dishwasher, then X has the purpose there exist Y, Z such that Y is an instance of tableware, Z is an instance of washing, Y is a patient of Z, and X is an instrument for 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners