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
(subclass CoffeeRoastAttribute RelationalAttribute) Food.kif 447-447

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


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