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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoffeeRoastAttribute

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

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


(instance AmericanRoast CoffeeRoastAttribute) Food.kif 542-542 例 AmericanRoast and CoffeeRoastAttribute
(instance CinnamonRoast CoffeeRoastAttribute) Food.kif 504-504 例 CinnamonRoast and CoffeeRoastAttribute
(instance CityRoast CoffeeRoastAttribute) Food.kif 554-554 例 CityRoast and CoffeeRoastAttribute
(instance DarkRoast CoffeeRoastAttribute) Food.kif 566-566 例 DarkRoast and CoffeeRoastAttribute
(instance FrenchRoast CoffeeRoastAttribute) Food.kif 604-604 例 FrenchRoast and CoffeeRoastAttribute
(instance FullyCityRoast CoffeeRoastAttribute) Food.kif 580-580 例 FullyCityRoast and CoffeeRoastAttribute
(instance ItalianRoast CoffeeRoastAttribute) Food.kif 616-616 例 ItalianRoast and CoffeeRoastAttribute
(instance LightRoast CoffeeRoastAttribute) Food.kif 490-490 例 LightRoast and CoffeeRoastAttribute
(instance MediumRoast CoffeeRoastAttribute) Food.kif 528-528 例 MediumRoast and CoffeeRoastAttribute
(instance NewEnglandRoast CoffeeRoastAttribute) Food.kif 516-516 例 NewEnglandRoast and CoffeeRoastAttribute
(instance ViennaRoast CoffeeRoastAttribute) Food.kif 592-592 例 ViennaRoast and CoffeeRoastAttribute
(relatedInternalConcept Coffee CoffeeRoastAttribute) Food.kif 631-631 相關的內部概念 咖啡 and CoffeeRoastAttribute
(relatedInternalConcept DryRoastAttribute CoffeeRoastAttribute) Food.kif 108-108 相關的內部概念 DryRoastAttribute and 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 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