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 已准备食物 是 Food 的 subclass
(subclass PreparedFood Mixture) Food.kif 309-309 已准备食物 是 混合物 的 subclass

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


(subclass Beverage PreparedFood) Food.kif 389-389 饮料 是 已准备食物 的 subclass
(subclass BreadOrBiscuit PreparedFood) Food.kif 1561-1561 面包或饼干 是 已准备食物 的 subclass
(subclass Chocolate PreparedFood) Food.kif 2442-2442 Chocolate 是 已准备食物 的 subclass
(subclass CookedDish PreparedFood) Food.kif 1581-1581 CookedDish 是 已准备食物 的 subclass
(subclass CuredMeat PreparedFood) Food.kif 2132-2132 CuredMeat 是 已准备食物 的 subclass
(subclass DairyArtifact PreparedFood) Food.kif 2824-2824 乳制品 是 已准备食物 的 subclass
(subclass Dough PreparedFood) Food.kif 1605-1605 面团 是 已准备食物 的 subclass
(subclass DrinkingWater PreparedFood) Food.kif 218-218 饮用水 是 已准备食物 的 subclass
(subclass FermentedFood PreparedFood) Food.kif 2785-2785 FermentedFood 是 已准备食物 的 subclass
(subclass Flour PreparedFood) Food.kif 1475-1475 面粉 是 已准备食物 的 subclass
(subclass Jam PreparedFood) Food.kif 1754-1754 Jam 是 已准备食物 的 subclass
(subclass Pasta PreparedFood) Food.kif 2744-2744 Pasta 是 已准备食物 的 subclass
(subclass Raisin PreparedFood) Food.kif 3329-3329 Raisin 是 已准备食物 的 subclass
(subclass Sauce PreparedFood) Food.kif 2067-2067 Sauce 是 已准备食物 的 subclass
(subclass Sorbet PreparedFood) Food.kif 3447-3447 Sorbet 是 已准备食物 的 subclass
(subclass SoupStock PreparedFood) Food.kif 1624-1624 高汤 是 已准备食物 的 subclass
(subclass Spice PreparedFood) Economy.kif 4697-4697 香料 是 已准备食物 的 subclass
(subclass Tofu PreparedFood) Food.kif 3515-3515 Tofu 是 已准备食物 的 subclass
(termFormat ChineseLanguage PreparedFood "已准备食物") domainEnglishFormat.kif 47212-47212 Tofu 是 已准备食物 的 subclass
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物") domainEnglishFormat.kif 47211-47211 Tofu 是 已准备食物 的 subclass
(termFormat EnglishLanguage PreparedFood "food") Food.kif 313-313 Tofu 是 已准备食物 的 subclass
(termFormat EnglishLanguage PreparedFood "prepared food") domainEnglishFormat.kif 47210-47210 Tofu 是 已准备食物 的 subclass

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 4722-4737
(=>
    (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 3063-3071
(=>
    (instance ?S Spice)
    (hasPurpose ?S
        (exists (?PUT ?F)
            (and
                (instance ?PUT Putting)
                (patient ?PUT ?S)
                (destination ?PUT ?F)
                (instance ?F PreparedFood)))))		 Economy.kif 4712-4720
(=>
    (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 1980-1998
(=>
    (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