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 Animal, normally metabolized into energy and body tissue.") Mid-level-ontology.kif 19121-19123
(externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") pictureList.kif 910-910 externalImage PreparedFood and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Makaronilaatikko.jpg"
(subclass PreparedFood Object) Mid-level-ontology.kif 19120-19120 PreparedFood客体subclass

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


(subclass Aioli PreparedFood) Food.kif 452-452 AioliPreparedFoodsubclass
(subclass Bacon PreparedFood) Food.kif 505-505 BaconPreparedFoodsubclass
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 19233-19233 BreadOrBiscuitPreparedFoodsubclass
(subclass Butter PreparedFood) Mid-level-ontology.kif 19280-19280 ButterPreparedFoodsubclass
(subclass Calamari PreparedFood) Food.kif 532-532 CalamariPreparedFoodsubclass
(subclass Cappuccino PreparedFood) Food.kif 543-543 CappuccinoPreparedFoodsubclass
(subclass Cheese PreparedFood) Food.kif 816-816 CheesePreparedFoodsubclass
(subclass Chocolate PreparedFood) Food.kif 563-563 ChocolatePreparedFoodsubclass
(subclass Coffee PreparedFood) Mid-level-ontology.kif 19376-19376 CoffeePreparedFoodsubclass
(subclass Dessert PreparedFood) Offers.kif 264-264 DessertPreparedFoodsubclass
(subclass Dough PreparedFood) Mid-level-ontology.kif 19266-19266 DoughPreparedFoodsubclass
(subclass Flour PreparedFood) Mid-level-ontology.kif 19317-19317 FlourPreparedFoodsubclass
(subclass Gnocchi PreparedFood) Offers.kif 270-270 GnocchiPreparedFoodsubclass
(subclass IceCream PreparedFood) Society.kif 752-752 IceCreamPreparedFoodsubclass
(subclass Ketchup PreparedFood) Food.kif 655-655 KetchupPreparedFoodsubclass
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 19149-19149 LiquidFoodPreparedFoodsubclass
(subclass Mayonnaise PreparedFood) Food.kif 693-693 MayonnaisePreparedFoodsubclass
(subclass Omelette PreparedFood) Food.kif 724-724 OmelettePreparedFoodsubclass
(subclass Pasta PreparedFood) Food.kif 758-758 PastaPreparedFoodsubclass
(subclass Pickle PreparedFood) Food.kif 790-790 PicklePreparedFoodsubclass
(subclass Raisin PreparedFood) Food.kif 822-822 RaisinPreparedFoodsubclass
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 19247-19247 SandwichPreparedFoodsubclass
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 19137-19137 SolidFoodPreparedFoodsubclass
(subclass Sorbet PreparedFood) Food.kif 917-917 SorbetPreparedFoodsubclass

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 280-280 LessonOnCookingFoodFn 的 1 数量 是 PreparedFoodinstance
(domainSubclass ingredient 2 PreparedFood) Food.kif 100-100 ingredient 的 2 数量 是 PreparedFoodsubclass

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


(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 19130-19135
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 19126-19128

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))
Dining.kif 1084-1088
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))
Dining.kif 1213-1217
(=>
    (instance ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))
Mid-level-ontology.kif 23281-23289
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 2983-2990
(=>
    (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 1913-1931
(=>
    (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))))
Mid-level-ontology.kif 25058-25075


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