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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtraCoarseGrind

Sigma KEE - ExtraCoarseGrind
ExtraCoarseGrind

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


(documentation ExtraCoarseGrind EnglishLanguage "ExtraCoarseGrind CoffeeGrind has a particle size of aproximateValue of approximateDiameter of 1.5 Millimeters.") Food.kif 1091-1092
(instance ExtraCoarseGrind CoffeeGrindAttribute) Food.kif 1090-1090

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


(optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind) Food.kif 842-842
(termFormat EnglishLanguage ExtraCoarseGrind "extra coarse grind") Food.kif 1093-1093

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


(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraCoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 1.5))
Food.kif 1095-1100


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