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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoarseGrind
CoarseGrind(coarse grind)

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


(documentation CoarseGrind EnglishLanguage "CoarseGrind CoffeeGrind has a particle size of aproximateValue of approximateDiameter of 1 Millimeters.") Food.kif 1103-1104
(instance CoarseGrind CoffeeGrindAttribute) Food.kif 1102-1102 Coarse grind is an instance of coffee grind attribute

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


(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind) Food.kif 860-860 Coarse grind is the optimal CoffeeGrindAttribute for French press coffee coffee making process
(termFormat EnglishLanguage CoarseGrind "coarse grind") Food.kif 1105-1105

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


(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C CoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 1.0))
Food.kif 1107-1112


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