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


KB Term:  Term intersection
English Word: 

  visibilityInMeteorology

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