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


KB Term:  Term intersection
English Word: 

  Tableware

 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 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