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	DryRoasting は料理の subclass では %n
(subclass DryRoasting Heating)	Food.kif 122-122	DryRoasting は加熱の subclass では %n

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

工程は DryRoasting の instance では %n エンティティーは Food の instance では %n エンティティーは工程の patient では %n
エンティティーエンティティーエンティティーは加熱の instance では %n エンティティーは Stirring の instance では %n エンティティーは工程% の subprocess では %n エンティティーは工程% の subprocess では %n エンティティーの time の existence はエンティティーの time の existence の during に takes %n{ない} エンティティーはエンティティーの patient では %n エンティティーはエンティティーの patient では %n エンティティーエンティティーエンティティーは Oil の instance では %n エンティティーは DrinkingWater の instance では %n エンティティーは工程の patient では %n エンティティーは工程の patient では %n は工程の during holds %n{ない}

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	roastedToTemperature Food and 実数 Food は CoffeeBean の instance では %n 実数は実数の instance では %n ステートメントエンティティーエンティティーは DryRoasting の instance では %n Food はエンティティーの patient では %n には Likely の modal force がある
(=> (attribute ?F DryRoastAttribute) (exists (?X) (and (instance ?X DryRoasting) (result ?X ?F))))	Food.kif 114-119	DryRoastAttribute はオブジェクトの attribute では %n 工程工程は DryRoasting の instance では %n オブジェクトは工程の result では %n

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: