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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreparedFood

 Sigma KEE - PreparedFood
PreparedFood

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


(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.") Food.kif 310-312
(externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") pictureList.kif 909-909
(subclass PreparedFood Food) Food.kif 308-308 PreparedFood e' uma sub-classe de Comida
(subclass PreparedFood Mixture) Food.kif 309-309 PreparedFood e' uma sub-classe de Mistura

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


(subclass Beverage PreparedFood) Food.kif 389-389 Bebida e' uma sub-classe de PreparedFood
(subclass BreadOrBiscuit PreparedFood) Food.kif 1555-1555 BreadOrBiscuit e' uma sub-classe de PreparedFood
(subclass Chocolate PreparedFood) Food.kif 2435-2435 Chocolate e' uma sub-classe de PreparedFood
(subclass CookedDish PreparedFood) Food.kif 1575-1575 CookedDish e' uma sub-classe de PreparedFood
(subclass CuredMeat PreparedFood) Food.kif 2125-2125 CuredMeat e' uma sub-classe de PreparedFood
(subclass DairyArtifact PreparedFood) Food.kif 2817-2817 DairyArtifact e' uma sub-classe de PreparedFood
(subclass Dough PreparedFood) Food.kif 1599-1599 Dough e' uma sub-classe de PreparedFood
(subclass DrinkingWater PreparedFood) Food.kif 218-218 DrinkingWater e' uma sub-classe de PreparedFood
(subclass FermentedFood PreparedFood) Food.kif 2778-2778 FermentedFood e' uma sub-classe de PreparedFood
(subclass Flour PreparedFood) Food.kif 1469-1469 Flour e' uma sub-classe de PreparedFood
(subclass Jam PreparedFood) Food.kif 1748-1748 Jam e' uma sub-classe de PreparedFood
(subclass Pasta PreparedFood) Food.kif 2737-2737 Pasta e' uma sub-classe de PreparedFood
(subclass Raisin PreparedFood) Food.kif 3322-3322 Raisin e' uma sub-classe de PreparedFood
(subclass Sauce PreparedFood) Food.kif 2061-2061 Sauce e' uma sub-classe de PreparedFood
(subclass Sorbet PreparedFood) Food.kif 3440-3440 Sorbet e' uma sub-classe de PreparedFood
(subclass SoupStock PreparedFood) Food.kif 1618-1618 SoupStock e' uma sub-classe de PreparedFood
(subclass Spice PreparedFood) Economy.kif 4359-4359 Spice e' uma sub-classe de PreparedFood
(subclass Tofu PreparedFood) Food.kif 3508-3508 Tofu e' uma sub-classe de PreparedFood
(termFormat ChineseLanguage PreparedFood "已准备食物") domainEnglishFormat.kif 47210-47210
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物") domainEnglishFormat.kif 47209-47209
(termFormat EnglishLanguage PreparedFood "food") Food.kif 313-313
(termFormat EnglishLanguage PreparedFood "prepared food") domainEnglishFormat.kif 47208-47208

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


(=>
    (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 4384-4399
(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))		 Food.kif 319-324
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Human)))		 Food.kif 315-317

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))		 Dining.kif 1130-1134
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))		 Dining.kif 1262-1266
(=>
    (instance ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))		 Food.kif 355-363
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (exists (?C ?FOOD)
            (and
                (instance ?C Classifying)
                (destination ?C ?FOOD)
                (patient ?C ?RATING)
                (instance ?FOOD PreparedFood)))))		 Hotel.kif 3052-3060
(=>
    (instance ?S Spice)
    (hasPurpose ?S
        (exists (?PUT ?F)
            (and
                (instance ?PUT Putting)
                (patient ?PUT ?S)
                (destination ?PUT ?F)
                (instance ?F PreparedFood)))))		 Economy.kif 4374-4382
(=>
    (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 1969-1987
(=>
    (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 331-348


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 is open source software produced by Articulate Software and its partners