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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoffeeRoastAttribute
CoffeeRoastAttribute

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 CoffeeRoastAttribute est reli� � l'int�rieur de SUMO � CoffeeGrindAttribute
(subclass CoffeeRoastAttribute RelationalAttribute) Food.kif 447-447 CoffeeRoastAttribute est une sous-classe de attribut relationnel

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


(instance AmericanRoast CoffeeRoastAttribute) Food.kif 542-542 AmericanRoast est une instance de CoffeeRoastAttribute
(instance CinnamonRoast CoffeeRoastAttribute) Food.kif 504-504 CinnamonRoast est une instance de CoffeeRoastAttribute
(instance CityRoast CoffeeRoastAttribute) Food.kif 554-554 CityRoast est une instance de CoffeeRoastAttribute
(instance DarkRoast CoffeeRoastAttribute) Food.kif 566-566 DarkRoast est une instance de CoffeeRoastAttribute
(instance FrenchRoast CoffeeRoastAttribute) Food.kif 604-604 FrenchRoast est une instance de CoffeeRoastAttribute
(instance FullyCityRoast CoffeeRoastAttribute) Food.kif 580-580 FullyCityRoast est une instance de CoffeeRoastAttribute
(instance ItalianRoast CoffeeRoastAttribute) Food.kif 616-616 ItalianRoast est une instance de CoffeeRoastAttribute
(instance LightRoast CoffeeRoastAttribute) Food.kif 490-490 LightRoast est une instance de CoffeeRoastAttribute
(instance MediumRoast CoffeeRoastAttribute) Food.kif 528-528 MediumRoast est une instance de CoffeeRoastAttribute
(instance NewEnglandRoast CoffeeRoastAttribute) Food.kif 516-516 NewEnglandRoast est une instance de CoffeeRoastAttribute
(instance ViennaRoast CoffeeRoastAttribute) Food.kif 592-592 ViennaRoast est une instance de CoffeeRoastAttribute
(relatedInternalConcept Coffee CoffeeRoastAttribute) Food.kif 631-631 Coffee est reli� � l'int�rieur de SUMO � CoffeeRoastAttribute
(relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute) Food.kif 108-108 DryRoastAttribute est reli� � l'int�rieur de SUMO � CoffeeRoastAttribute
(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