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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoffeeRoastAttribute
CoffeeRoastAttribute(coffee roast attribute)

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


(documentation CoffeeRoastAttribute EnglishLanguage "CoffeeRoastAttribute is a Class of RelationalAttribute used to describe the degree of Heating the CoffeeBeans are subjected to.") Food.kif 449-451
(relatedInternalConcept CoffeeRoastAttribute CoffeeGrindAttribute) Food.kif 448-448 Coffee roast attribute is internally related to coffee grind attribute
(subclass CoffeeRoastAttribute RelationalAttribute) Food.kif 447-447 Coffee roast attribute is a subclass of relational attribute

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


(instance AmericanRoast CoffeeRoastAttribute) Food.kif 542-542 American roast is an instance of coffee roast attribute
(instance CinnamonRoast CoffeeRoastAttribute) Food.kif 504-504 Cinnamon roast is an instance of coffee roast attribute
(instance CityRoast CoffeeRoastAttribute) Food.kif 554-554 City roast is an instance of coffee roast attribute
(instance DarkRoast CoffeeRoastAttribute) Food.kif 566-566 Dark roast is an instance of coffee roast attribute
(instance FrenchRoast CoffeeRoastAttribute) Food.kif 604-604 French roast is an instance of coffee roast attribute
(instance FullyCityRoast CoffeeRoastAttribute) Food.kif 580-580 Full city roast is an instance of coffee roast attribute
(instance ItalianRoast CoffeeRoastAttribute) Food.kif 616-616 Italian roast is an instance of coffee roast attribute
(instance LightRoast CoffeeRoastAttribute) Food.kif 490-490 Light roast is an instance of coffee roast attribute
(instance MediumRoast CoffeeRoastAttribute) Food.kif 528-528 Medium roast is an instance of coffee roast attribute
(instance NewEnglandRoast CoffeeRoastAttribute) Food.kif 516-516 New England roast is an instance of coffee roast attribute
(instance ViennaRoast CoffeeRoastAttribute) Food.kif 592-592 Vienna roast is an instance of coffee roast attribute
(relatedInternalConcept Coffee CoffeeRoastAttribute) Food.kif 631-631 Coffee is internally related to coffee roast attribute
(relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute) Food.kif 108-108 Hulled is internally related to coffee roast attribute
(termFormat EnglishLanguage CoffeeRoastAttribute "coffee roast attribute") Food.kif 452-452

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


(=>
    (and
        (instance ?C CoffeeBean)
        (attribute ?C ?R))
    (instance ?R CoffeeRoastAttribute))		 Food.kif 454-458
(=>
    (instance ?CG CoffeeGrind)
    (exists (?B ?A ?C)
        (and
            (instance ?B CoffeeBean)
            (attribute ?B ?A)
            (instance ?A CoffeeRoastAttribute)
            (attribute ?CG ?C)
            (instance ?C CoffeeGrindAttribute))))		 Food.kif 1044-1052


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