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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 initialPart Jam and Fruit
(subclass Jam Colloid) Food.kif 1749-1749 Jam est une sous-classe de Colloid
(subclass Jam PreparedFood) Food.kif 1748-1748 Jam est une sous-classe de PreparedFood

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