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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CuringFood

Sigma KEE - CuringFood
CuringFood

appearance as argument number 1
-------------------------


(documentation CuringFood EnglishLanguage "CuringFood is the class of Process where Food is preserved drawing out its water content by adding salt. Many curing processes invlove smoking, Spicing and cooking, or adding a combination of Sugar, Nitrites and Nitrates.[Wikipedia]") Food.kif 79-81
(subclass CuringFood Drying) Food.kif 77-77 CuringFood烘干subclass
(subclass CuringFood PreservingFood) Food.kif 78-78 CuringFoodPreservingFoodsubclass

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


(termFormat EnglishLanguage CuringFood "curing food") Food.kif 82-82

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


(=>
    (and
        (instance ?C CuringFood)
        (instance ?F Food)
        (patient ?C ?F))
    (exists (?D)
        (and
            (instance ?D Drying)
            (subProcess ?D ?C)
            (patient ?D ?F))))
Food.kif 96-105
(=>
    (instance ?C CuringFood)
    (exists (?F ?P ?S)
        (and
            (instance ?F Food)
            (patient ?C ?F)
            (instance ?P Putting)
            (subProcess ?P ?C)
            (instance ?S SodiumChloride)
            (patient ?P ?S)
            (destination ?P ?F))))
Food.kif 84-94

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


(=>
    (attribute ?F CuredAttribute)
    (exists (?C)
        (and
            (instance ?C CuringFood)
            (result ?C ?F))))
Food.kif 70-75


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