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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dish

Sigma KEE - Dish
Dish
أوانِي فُخارِيّة, صِينِيّ, صُحُون, آنِيَة فُخَارِيَّة,

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


(defaultMaximumHeight Dish
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 1068-1068
(defaultMaximumLength Dish
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 1072-1072
(defaultMaximumMeasure Dish
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 1074-1074
(defaultMaximumWidth Dish
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 1070-1070
(defaultMinimumHeight Dish
    (MeasureFn 0.8 Inch))
DimensioningAmenities.kif 1067-1067
(defaultMinimumLength Dish
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1071-1071
(defaultMinimumMeasure Dish
    (MeasureFn 8 OunceMass))
DimensioningAmenities.kif 1073-1073
(defaultMinimumWidth Dish
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1069-1069
(documentation Dish EnglishLanguage "A Holder for Food while the Food is being eaten.") Mid-level-ontology.kif 4901-4901
(externalImage Dish "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Unglazed_plates.jpg/ 180px-Unglazed_plates.jpg") pictureList.kif 1093-1093
(subclass Dish Holder) Mid-level-ontology.kif 4900-4900

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


(termFormat EnglishLanguage Dish "dish") domainEnglishFormat.kif 3726-3726

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners