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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 19180-19182
(externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg") pictureList.kif 910-910
(subclass PreparedFood Object) Mid-level-ontology.kif 19179-19179

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


(subclass Aioli PreparedFood) Food.kif 451-451
(subclass Bacon PreparedFood) Food.kif 504-504
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 19292-19292
(subclass Butter PreparedFood) Mid-level-ontology.kif 19339-19339
(subclass Calamari PreparedFood) Food.kif 531-531
(subclass Cappuccino PreparedFood) Food.kif 542-542
(subclass Cheese PreparedFood) Food.kif 815-815
(subclass Chocolate PreparedFood) Food.kif 562-562
(subclass Coffee PreparedFood) Mid-level-ontology.kif 19435-19435
(subclass Dough PreparedFood) Mid-level-ontology.kif 19325-19325
(subclass Flour PreparedFood) Mid-level-ontology.kif 19376-19376
(subclass Ketchup PreparedFood) Food.kif 654-654
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 19208-19208
(subclass Mayonnaise PreparedFood) Food.kif 692-692
(subclass Omelette PreparedFood) Food.kif 723-723
(subclass Pasta PreparedFood) Food.kif 757-757
(subclass Pickle PreparedFood) Food.kif 789-789
(subclass Raisin PreparedFood) Food.kif 821-821
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 19306-19306
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 19196-19196
(subclass Sorbet PreparedFood) Food.kif 916-916
(subclass SoupStock PreparedFood) Mid-level-ontology.kif 19429-19429
(subclass Tea PreparedFood) Mid-level-ontology.kif 9336-9336
(subclass Tofu PreparedFood) Food.kif 976-976
(termFormat ChineseLanguage PreparedFood "已准备食物") domainEnglishFormat.kif 47149-47149

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass ingredient 2 PreparedFood) Food.kif 100-100

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


(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 19189-19194
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 19185-19187

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))
Dining.kif 1080-1084
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))
Dining.kif 1209-1213
(=>
    (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 23313-23321
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 2989-2996
(=>
    (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 1917-1935
(=>
    (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 25139-25156


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners