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


KB Term:  Term intersection
English Word: 

Sigma KEE - PotOrPan
PotOrPan(pot or pan)
Dutch_oven, bain-marie, boiler, caldron, cauldron, coffeepot, cooking_pan, dishpan, dixie, electric_frying_pan, frying_pan, frypan, kettle, marmite, omelet_pan, omelette_pan, pan, patty-pan, pot, pottle, roaster, saucepan, saucepot, skillet, wok

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


(subclass PotOrPan Container) Mid-level-ontology.kif 2948-2948 Pot or pan is a subclass of container
(documentation PotOrPan EnglishLanguage "A Container which has a handle and is used for Cooking.") Mid-level-ontology.kif 2949-2950 Pot or pan is a subclass of container
(defaultMinimumHeight PotOrPan
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 831-831 The minimum expected height of pot or pan is 7 inch(s)
(defaultMaximumHeight PotOrPan
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 832-832 The maximum expected height of pot or pan is 24 inch(s)
(defaultMinimumWidth PotOrPan
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 833-833 The minimum expected width of pot or pan is 7 inch(s)
(defaultMaximumWidth PotOrPan
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 834-834 The maximum expected width of pot or pan is 24 inch(s)
(defaultMinimumLength PotOrPan
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 835-835 The minimum expected length of pot or pan is 3 inch(s)
(defaultMaximumLength PotOrPan
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 836-836 The maximum expected length of pot or pan is 36 inch(s)
(defaultMinimumMeasure PotOrPan
    (MeasureFn 2 PoundMass))		 DimensioningAmenities.kif 837-837 The minimum expected value of pot or pan is 2 pound mass(s)
(defaultMaximumMeasure PotOrPan
    (MeasureFn 50 PoundMass))		 DimensioningAmenities.kif 838-838 The maximum expected value of pot or pan is 50 pound mass(s)
(externalImage PotOrPan "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Kettle.agr.jpg") pictureList.kif 119-119 The maximum expected value of pot or pan is 50 pound mass(s)
(externalImage PotOrPan "http://upload.wikimedia.org/wikipedia/commons/5/ 5c/ Pot.agr.jpg") pictureList.kif 153-153 The maximum expected value of pot or pan is 50 pound mass(s)

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


(subclass FrenchPressPot PotOrPan) Food.kif 848-848 French press is a subclass of pot or pan
(subclass Aeropress PotOrPan) Food.kif 884-884 Aeropress is a subclass of pot or pan
(subclass MokaPot PotOrPan) Food.kif 917-917 Moka Pot is a subclass of pot or pan
(termFormat EnglishLanguage PotOrPan "pot or pan") domainEnglishFormat.kif 46897-46897 Moka Pot is a subclass of pot or pan
(termFormat ChineseTraditionalLanguage PotOrPan "鍋或杅") domainEnglishFormat.kif 46898-46898 Moka Pot is a subclass of pot or pan
(termFormat ChineseLanguage PotOrPan "锅或杅") domainEnglishFormat.kif 46899-46899 Moka Pot is a subclass of pot or pan

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


(=>
    (instance ?P PotOrPan)
    (hasPurpose ?P
        (exists (?C)
            (and
                (instance ?C Cooking)
                (instrument ?C ?P)))))		 Mid-level-ontology.kif 2952-2958 If X is an instance of pot or pan, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y

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


(=>
    (instance ?DEVICE CookerPad)
    (hasPurpose ?DEVICE
        (exists (?PAN ?FOOD ?HEATING)
            (and
                (instance ?PAN PotOrPan)
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?DEVICE)
                (patient ?HEATING ?FOOD)
                (located ?FOOD ?PAN)))))		 HouseholdAppliances.kif 743-753 If X is an instance of cooker pad, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of pot or pan (3) Z is an instance of food (4) W is an instance of heating (5) X is an instrument for W (6) Z is a patient of W (7) Z is located at Y


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