DryRoasting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DryRoasting EnglishLanguage "DryRoasting is a process by which heat is applied to dry foodstuffs without the use of Oil or DrinkingWater as a carrier. Dry-roasted foods are stirred as they are roasted to ensure even Heating.[Wikipedia]")	Food.kif 123-125
(subclass DryRoasting Cooking)	Food.kif 121-121	Dry roasting is a subclass of cooking
(subclass DryRoasting Heating)	Food.kif 122-122	Dry roasting is a subclass of heating

appearance as argument number 2

(termFormat EnglishLanguage DryRoasting "dry roasting")

Food.kif 126-126

antecedent

(=>
    (and
        (instance ?X DryRoasting)
        (instance ?F Food)
        (patient ?X ?F))
    (holdsDuring ?X
        (exists (?H ?S)
            (and
                (instance ?H Heating)
                (instance ?S Stirring)
                (subProcess ?H ?X)
                (subProcess ?S ?X)
                (during
                    (WhenFn ?S)
                    (WhenFn ?H))
                (patient ?H ?F)
                (patient ?S ?F)
                (not
                    (exists (?O ?W)
                        (and
                            (instance ?O Oil)
                            (instance ?W DrinkingWater)
                            (patient ?X ?O)
                            (patient ?X ?W))))))))

Food.kif 128-151

If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process,
then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process

consequent

(=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely))	Food.kif 479-488	If a real number is the temperature at which a food is roasted to and the food is an instance of coffee bean and the real number is an instance of real number, then the statement there exists an entity such that the entity is an instance of dry roasting and the food is a patient of the entity has the modal force of likely
(=> (attribute ?F DryRoastAttribute) (exists (?X) (and (instance ?X DryRoasting) (result ?X ?F))))	Food.kif 114-119	If hulled is an attribute of an object, then there exists a process such that the process is an instance of dry roasting and the object is a result of the process

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

KB Term:			Term intersection

English Word: