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

KB Term:  Term intersection
English Word: 

Sigma KEE - PreparedFood
PreparedFood

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


(subclass PreparedFood Food) Mid-level-ontology.kif 2561-2561
(subclass PreparedFood Mixture) Mid-level-ontology.kif 2562-2562
(documentation PreparedFood EnglishLanguage "PreparedFood refers to anything that undergoes some process intended to result in an object that has Nutrient which can be ingested by Human, normally metabolized into energy and body tissue.") Mid-level-ontology.kif 2563-2565
(externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") pictureList.kif 909-909

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


(termFormat EnglishLanguage PreparedFood "food") Mid-level-ontology.kif 2566-2566
(subclass Beverage PreparedFood) Mid-level-ontology.kif 2579-2579
(subclass Spice PreparedFood) Economy.kif 4692-4692
(subclass DrinkingWater PreparedFood) Food.kif 218-218
(subclass Flour PreparedFood) Food.kif 1453-1453
(subclass BreadOrBiscuit PreparedFood) Food.kif 1540-1540
(subclass CookedDish PreparedFood) Food.kif 1560-1560
(subclass Dough PreparedFood) Food.kif 1584-1584
(subclass SoupStock PreparedFood) Food.kif 1604-1604
(subclass Jam PreparedFood) Food.kif 1761-1761
(subclass Sauce PreparedFood) Food.kif 2076-2076
(subclass CuredMeat PreparedFood) Food.kif 2144-2144
(subclass Chocolate PreparedFood) Food.kif 2457-2457
(subclass Pasta PreparedFood) Food.kif 2765-2765
(subclass FermentedFood PreparedFood) Food.kif 2807-2807
(subclass DairyArtifact PreparedFood) Food.kif 2846-2846
(subclass Raisin PreparedFood) Food.kif 3354-3354
(subclass Sorbet PreparedFood) Food.kif 3476-3476
(subclass Tofu PreparedFood) Food.kif 3546-3546
(subclass Dessert PreparedFood) Offers.kif 276-276
(subclass Gnocchi PreparedFood) Offers.kif 282-282
(subclass TortilladePatatas PreparedFood) Offers.kif 285-285
(subclass IceCream PreparedFood) Society.kif 754-754
(subclass Cheese PreparedFood) Society.kif 1056-1056
(termFormat EnglishLanguage PreparedFood "prepared food") domainEnglishFormat.kif 47203-47203

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain LessonOnCookingFoodFn 1 PreparedFood) Offers.kif 292-292

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


(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Human)))		 Mid-level-ontology.kif 2568-2570
(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))		 Mid-level-ontology.kif 2572-2577
(=>
    (and
        (instance ?MENU SetMenu)
        (offers ?AGENT ?MENU)
        (catalogItem ?CLASS ?MENU)
        (subclass ?CLASS PreparedFood)
        (instance ?X ?VLASS)
        (instance ?Y ?CLASS)
        (not
            (equal ?X ?Y))
        (price ?X ?PRICE1 ?AGENT1)
        (price ?Y ?PRICE2 ?AGENT2))
    (equal ?PRICE1 ?PRICE2))		 Dining.kif 189-201
(=>
    (and
        (instance ?P Putting)
        (patient ?P ?S)
        (instance ?S Spice)
        (destination ?P ?F)
        (instance ?F PreparedFood))
    (exists (?C ?A)
        (and
            (instance ?C InternalChange)
            (patient ?C ?F)
            (result ?C ?A)
            (attribute ?F ?A)
            (or
                (instance ?A FlavourAttribute)
                (instance ?A ColorAttribute)))))		 Economy.kif 4717-4732

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))		 Dining.kif 1133-1137
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))		 Dining.kif 1265-1269
(=>
    (instance ?S Spice)
    (hasPurpose ?S
        (exists (?PUT ?F)
            (and
                (instance ?PUT Putting)
                (patient ?PUT ?S)
                (destination ?PUT ?F)
                (instance ?F PreparedFood)))))		 Economy.kif 4707-4715
(=>
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
        (and
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                    (and
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                        (or
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))		 Food.kif 313-330
(=>
    (instance ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))		 Food.kif 337-345
(=>
    (instance ?SVC RoomService)
    (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
        (and
            (customer ?CUSTOMER ?AGENT)
            (agent ?SVC ?AGENT)
            (instance ?RQST Requesting)
            (agent ?RQST ?CUSTOMER)
            (patient ?RQST ?ORDER)
            (represents ?ORDER ?FOOD)
            (instance ?FOOD PreparedFood)
            (located ?CUSTOMER ?LOC)
            (instance ?LOC HotelUnit)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?FOOD)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?RQST))
                (BeginFn
                    (WhenFn ?DELIVERY))))))		 Hotel.kif 1987-2005
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (exists (?C ?FOOD)
            (and
                (instance ?C Classifying)
                (destination ?C ?FOOD)
                (patient ?C ?RATING)
                (instance ?FOOD PreparedFood)))))		 Hotel.kif 3070-3078
(=>
    (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
(=>
    (instance ?DEVICE FoodMixer)
    (hasPurpose ?DEVICE
        (exists (?COOKING ?RES)
            (and
                (instance ?COOKING Cooking)
                (instance ?RES Mixture)
                (instance ?RES PreparedFood)
                (result ?COOKING ?RES)))))		 HouseholdAppliances.kif 878-886
(=>
    (instance ?DEVICE FoodProcessor)
    (hasPurpose ?DEVICE
        (exists (?COOKING ?RES)
            (and
                (instance ?COOKING Cooking)
                (result ?COOKING ?RES)
                (instance ?RES PreparedFood)))))		 HouseholdAppliances.kif 894-901


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