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

Formal Language: 



KB Term:  Term intersection
English Word: 

  optimalGrindSizeForMakingCoffee

 Sigma KEE - optimalGrindSizeForMakingCoffee
optimalGrindSizeForMakingCoffee

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


(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute) Food.kif 724-724 Le nombre 2 argument de optimalGrindSizeForMakingCoffee est une instance de CoffeeGrindAttribute
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) Food.kif 723-723 Le nombre 1 argument de optimalGrindSizeForMakingCoffee est une sous-classe de CoffeeMaking
(instance optimalGrindSizeForMakingCoffee BinaryPredicate) Food.kif 718-718 optimalGrindSizeForMakingCoffee est une instance de pr�dicat binaire
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature) Food.kif 719-719 optimalGrindSizeForMakingCoffee est reli� � l'int�rieur de SUMO � roastedToTemperature

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


(documentation EnglishLanguage optimalGrindSizeForMakingCoffee "optimalGrindSizeForMakingCoffee is a BinaryRelation which states the optimal size of the CoffeeGrind for the a particular kind of CoffeeMaking process.") Food.kif 720-722
(format EnglishLanguage optimalGrindSizeForMakingCoffee "%2 is the optimal CoffeeGrindAttribute for %1 coffee making process") Food.kif 726-726
(termFormat EnglishLanguage optimalGrindSizeForMakingCoffee "optimal grind size for making coffee") Food.kif 725-725

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


(=>
    (optimalGrindSizeForMakingCoffee ?CLASS ?A)
    (exists (?CM ?COLL ?C)
        (and
            (instance ?CM ?CLASS)
            (patient ?CM ?COLL)
            (instance ?COLL Collection)
            (member ?C ?COLL)
            (instance ?C CoffeeGrind)
            (attribute ?C ?A))))		 Food.kif 728-737

appearance as argument number 0
-------------------------


(optimalGrindSizeForMakingCoffee AeropressingCoffee MediumFineGrind) Food.kif 905-905 optimalGrindSizeForMakingCoffee AeropressingCoffee and MediumFineGrind
(optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind) Food.kif 842-842 optimalGrindSizeForMakingCoffee ColdBrewingCoffee and ExtraCoarseGrind
(optimalGrindSizeForMakingCoffee DrippingCoffee MediumGrind) Food.kif 893-893 optimalGrindSizeForMakingCoffee DrippingCoffee and MediumGrind
(optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) Food.kif 790-790 optimalGrindSizeForMakingCoffee EspressoMaking and FineGrind
(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind) Food.kif 860-860 optimalGrindSizeForMakingCoffee FrenchPressingCoffee and CoarseGrind
(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) Food.kif 938-938 optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking and MediumFineGrind
(optimalGrindSizeForMakingCoffee PouringOverCoffee MediumGrind) Food.kif 899-899 optimalGrindSizeForMakingCoffee PouringOverCoffee and MediumGrind
(optimalGrindSizeForMakingCoffee SiphoningCoffee MediumFineGrind) Food.kif 929-929 optimalGrindSizeForMakingCoffee SiphoningCoffee and MediumFineGrind
(optimalGrindSizeForMakingCoffee TurkishCoffeeMaking ExtraFineGrind) Food.kif 959-959 optimalGrindSizeForMakingCoffee TurkishCoffeeMaking and ExtraFineGrind


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