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

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


(subclass Aioli PreparedFood) Food.kif 389-389
(subclass Bacon PreparedFood) Food.kif 442-442
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 20937-20937
(subclass Calamari PreparedFood) Food.kif 469-469
(subclass Cappuccino PreparedFood) Food.kif 480-480
(subclass Chocolate PreparedFood) Food.kif 500-500
(subclass Coffee PreparedFood) Mid-level-ontology.kif 21096-21096
(subclass DairyArtifact PreparedFood) Food.kif 950-950
(subclass Dough PreparedFood) Mid-level-ontology.kif 20971-20971
(subclass Flour PreparedFood) Mid-level-ontology.kif 21015-21015
(subclass Ketchup PreparedFood) Food.kif 592-592
(subclass LiquidFood PreparedFood) Mid-level-ontology.kif 20865-20865
(subclass Mayonnaise PreparedFood) Food.kif 633-633
(subclass Omelette PreparedFood) Food.kif 664-664
(subclass Pasta PreparedFood) Food.kif 698-698
(subclass Pickle PreparedFood) Food.kif 730-730
(subclass Raisin PreparedFood) Food.kif 762-762
(subclass Sandwich PreparedFood) Mid-level-ontology.kif 20952-20952
(subclass SolidFood PreparedFood) Mid-level-ontology.kif 20852-20852
(subclass Sorbet PreparedFood) Food.kif 857-857
(subclass SoupStock PreparedFood) Mid-level-ontology.kif 21053-21053
(subclass Tea PreparedFood) Mid-level-ontology.kif 10404-10404
(subclass Tofu PreparedFood) Food.kif 917-917
(termFormat ChineseLanguage PreparedFood "已准备食物") domainEnglishFormat.kif 47193-47193
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物") domainEnglishFormat.kif 47192-47192

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 20845-20850
(=>
    (instance ?X PreparedFood)
    (instance ?X
        (FoodForFn Organism)))
Mid-level-ontology.kif 20841-20843

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


(=>
    (and
        (attribute ?OBJ ?ATTR)
        (instance ?ATTR FoodAttribute))
    (instance ?OBJ PreparedFood))
Dining.kif 1083-1087
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y Cuisine))
    (instance ?X PreparedFood))
Dining.kif 1215-1219
(=>
    (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 24754-24762
(=>
    (instance ?RATING FoodRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?FOOD)
            (patient ?C ?RATING)
            (instance ?FOOD PreparedFood))))
Hotel.kif 3016-3023
(=>
    (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 1944-1962
(=>
    (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 26312-26329


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