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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Jam
Jam(jam)

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


(documentation Jam EnglishLanguage "Jam are Fruit preserves which are preparations of fruits whose main preserving agent is sugar and sometimes acid, often stored in glass jars and used as a condiment or spread.[Wikipedia]") Food.kif 1750-1752
(initialPart Jam Fruit) Food.kif 1754-1754 Every jam is initially part of a fruit
(subclass Jam Colloid) Food.kif 1749-1749 Jam is a subclass of colloid
(subclass Jam PreparedFood) Food.kif 1748-1748 Jam is a subclass of prepared food

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


(termFormat EnglishLanguage Jam "jam") Food.kif 1753-1753

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


(=>
    (and
        (instance ?M Meal)
        (member ?H ?M)
        (or
            (instance ?H Coffee)
            (instance ?H Tea))
        (member ?J ?M)
        (instance ?J Juice)
        (member ?B ?M)
        (instance ?B BreadOrBiscuit)
        (member ?B ?M)
        (instance ?B Butter)
        (member ?JA ?M)
        (instance ?JA Jam))
    (attribute ?M ContinentalBreakfast))
Food.kif 1731-1746
(=>
    (instance ?J Jam)
    (attribute ?J CookedAttribute))
Food.kif 1756-1758
(=>
    (instance ?J Jam)
    (exists (?B ?F ?S)
        (and
            (instance ?B Boiling)
            (patient ?B ?F)
            (instance ?F Fruit)
            (patient ?B ?S)
            (instance ?S Sugar)
            (result ?B ?J))))
Food.kif 1760-1769


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