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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExtraFineGrind
ExtraFineGrind(extra fine grind)

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


(documentation ExtraFineGrind EnglishLanguage "ExtraFineGrind CoffeeGrind has a particle size of aproximateValue of approximateDiameter of 0.1 Millimeters.") Food.kif 1164-1165
(instance ExtraFineGrind CoffeeGrindAttribute) Food.kif 1163-1163 Extra fine grind is an instance of coffee grind attribute

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


(optimalGrindSizeForMakingCoffee TurkishCoffeeMaking ExtraFineGrind) Food.kif 960-960 Extra fine grind is the optimal CoffeeGrindAttribute for turkish coffee making coffee making process
(termFormat EnglishLanguage ExtraFineGrind "extra fine grind") Food.kif 1166-1166 Extra fine grind is the optimal CoffeeGrindAttribute for turkish coffee making coffee making process

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


(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.1))
Food.kif 1168-1173


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