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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MediumFineGrind

Sigma KEE - MediumFineGrind
MediumFineGrind

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


(documentation MediumFineGrind EnglishLanguage "MediumFineGrind CoffeeGrind has a particle size of aproximateValue of approximateDiameter of 0.5 Millimeters.") Food.kif 1139-1140
(instance MediumFineGrind CoffeeGrindAttribute) Food.kif 1138-1138 MediumFineGrind and CoffeeGrindAttribute

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


(optimalGrindSizeForMakingCoffee AeropressingCoffee MediumFineGrind) Food.kif 905-905 optimalGrindSizeForMakingCoffee AeropressingCoffee and MediumFineGrind
(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) Food.kif 938-938 optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking and MediumFineGrind
(optimalGrindSizeForMakingCoffee SiphoningCoffee MediumFineGrind) Food.kif 929-929 optimalGrindSizeForMakingCoffee SiphoningCoffee and MediumFineGrind
(termFormat EnglishLanguage MediumFineGrind "medium fine grind") Food.kif 1141-1141

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


(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.5))
Food.kif 1143-1148


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