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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DryRoastAttribute

Sigma KEE - DryRoastAttribute
DryRoastAttribute

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


(documentation DryRoastAttribute EnglishLanguage "DryRoastAttribute describes how DryRoasting is involved in preparing Food.") Food.kif 110-111
(instance DryRoastAttribute PreparedFoodAttribute) Food.kif 107-107 DryRoastAttribute è un' istanza di PreparedFoodAttribute
(relatedInternalConcept DryRoastAttribute CoffeeGrindAttribute) Food.kif 109-109 DryRoastAttribute è interamente correlato a CoffeeGrindAttribute
(relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute) Food.kif 108-108 DryRoastAttribute è interamente correlato a CoffeeRoastAttribute

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


(termFormat EnglishLanguage DryRoastAttribute "dry roast") Food.kif 112-112
(termFormat EnglishLanguage DryRoastAttribute "hulled") Food.kif 158-158

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


(=>
    (attribute ?F DryRoastAttribute)
    (exists (?X)
        (and
            (instance ?X DryRoasting)
            (result ?X ?F))))
Food.kif 114-119

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


(=>
    (instance ?X CocoaLiquor)
    (exists (?H ?B)
        (and
            (instance ?H Heating)
            (patient ?H ?B)
            (instance ?B CocoaBean)
            (attribute ?B DryRoastAttribute)
            (attribute ?B HulledAttribute)
            (attribute ?B FermentedAttribute)
            (result ?H ?X)
            (holdsDuring ?H
                (attribute ?X Liquid)))))
Food.kif 2449-2461


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