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

KB Term:  Term intersection
English Word: 

Sigma KEE - Grinding
Grinding(grinding)bray, comminute, crunch, grind, mash

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


(subclass Grinding Crushing) Food.kif 983-983 Grinding is a subclass of crushing
(subclass Grinding Breaking) Food.kif 984-984 Grinding is a subclass of breaking
(documentation Grinding EnglishLanguage "Grinding is a process where an object is experience a Crushing or Breaking resulting in the Object to be broken into small pieces, which were originally a part of the object.") Food.kif 985-987 Grinding is a subclass of breaking

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


(termFormat EnglishLanguage Grinding "grinding") Food.kif 988-988

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


(=>
    (and
        (instance ?G Grinding)
        (patient ?G ?O)
        (instance ?O CorpuscularObject))
    (holdsDuring
        (EndFn
            (WhenFn ?G))
        (exists (?C)
            (and
                (result ?G ?C)
                (instance ?C CollectionOfObjects)
                (forall (?M)
                    (=>
                        (member ?M ?C)
                        (part ?M ?O)))))))		 Food.kif 990-1004 If X is an instance of grinding, Y is a patient of X, and Y is an instance of corpuscular object, then there exists Z such that Z is a result of X, Z is an instance of collection, and W W is a member of ZW is a part of Y holds during the end of the time of existence of X

consequent
-------------------------


(=>
    (instance ?CG CoffeeGrind)
    (exists (?G ?CB)
        (and
            (instance ?G Grinding)
            (patient ?G ?CB)
            (instance ?CB CoffeeBean)
            (attribute ?CB CookedAttribute)
            (result ?G ?CG))))		 Food.kif 1012-1020 If X is an instance of coffee grind, then there exist Y, Z such that Y is an instance of grinding, Z is a patient of Y, Z is an instance of coffee bean, cooked is an attribute of Z, and X is a result of Y
(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P Grinding)
            (patient ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))		 Food.kif 1461-1468 If X is an instance of flour, then there exist Y, Z such that Y is an instance of grinding, Z is a patient of Y, Z is an instance of cereal grain, and X is a result of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners