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

KB Term:  Term intersection
English Word: 

Sigma KEE - Dish
Dish(dish)
Petri_dish, boat, bowl, butter_dish, casserole, coquille, crockery, dinner_plate, dish, dishware, gravy_boat, gravy_holder, ramekin, ramequin, sauceboat, serving_dish, soup_plate, sugar_bowl

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


(subclass Dish Holder) Mid-level-ontology.kif 5042-5042 Dish is a subclass of holder
(documentation Dish EnglishLanguage "A Holder for Food while the Food is being eaten.") Mid-level-ontology.kif 5043-5043 Dish is a subclass of holder
(defaultMinimumHeight Dish
    (MeasureFn 0.8 Inch))		 DimensioningAmenities.kif 822-822 The minimum expected height of dish is 0.8 inch(s)
(defaultMaximumHeight Dish
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 823-823 The maximum expected height of dish is 10 inch(s)
(defaultMinimumWidth Dish
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 824-824 The minimum expected width of dish is 2 inch(s)
(defaultMaximumWidth Dish
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 825-825 The maximum expected width of dish is 12 inch(s)
(defaultMinimumLength Dish
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 826-826 The minimum expected length of dish is 2 inch(s)
(defaultMaximumLength Dish
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 827-827 The maximum expected length of dish is 24 inch(s)
(defaultMinimumMeasure Dish
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 828-828 The minimum expected value of dish is 8 Ounce(s)
(defaultMaximumMeasure Dish
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 829-829 The maximum expected value of dish is 10 pound mass(s)
(externalImage Dish "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Unglazed_plates.jpg/ 180px_Unglazed_plates.jpg") pictureList.kif 1092-1092 The maximum expected value of dish is 10 pound mass(s)

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


(termFormat EnglishLanguage Dish "dish") domainEnglishFormat.kif 19830-19830
(termFormat ChineseTraditionalLanguage Dish "碟") domainEnglishFormat.kif 19831-19831
(termFormat ChineseLanguage Dish "碟") domainEnglishFormat.kif 19832-19832

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


(=>
    (instance ?D Dish)
    (hasPurpose ?D
        (exists (?F ?E)
            (and
                (instance ?E Eating)
                (patient ?E ?F)
                (patient ?E ?D)
                (instance ?F
                    (FoodForFn Animal))
                (located ?F ?D)))))		 Mid-level-ontology.kif 5044-5053 If X is an instance of dish, then X has the purpose there exist Y, Z such that Z is an instance of eating, Y is a patient of Z, X is a patient of Z, Y is an instance of food for animal, and Y is located at X


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