Grinding - Sigma Knowledge base Browser

appearance as argument number 1

(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 1008-1010
(subclass Grinding Breaking)	Food.kif 1007-1007	Grinding is a subclass of breaking
(subclass Grinding Crushing)	Food.kif 1006-1006	Grinding is a subclass of crushing

appearance as argument number 2

(termFormat EnglishLanguage Grinding "grinding")

Food.kif 1011-1011

antecedent

(=>
    (and
        (instance ?G Grinding)
        (patient ?G ?O)
        (instance ?O CorpuscularObject))
    (holdsDuring
        (EndFn
            (WhenFn ?G))
        (exists (?C)
            (and
                (result ?G ?C)
                (instance ?C Collection)
                (forall (?M)
                    (=>
                        (member ?M ?C)
                        (part ?M ?O)))))))

Food.kif 1013-1027

If a process is an instance of grinding and an entity is a patient of the process and the entity is an instance of corpuscular object,
then there exists another entity such that the other entity is a result of the process and the other entity is an instance of collection and for all a third entity
- if the third entity is a member of the other entity,
- then the third entity is a part of the entity
holds during the end of the time of existence of the process

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 1035-1043	If an entity is an instance of coffee grind, then there exist a process and an object such that the process is an instance of grinding and the object is a patient of the process and the object is an instance of coffee bean and cooked is an attribute of the object and the entity is a result of the process
(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P Grinding) (patient ?P ?C) (instance ?C CerealGrain) (result ?P ?F))))	Food.kif 1482-1489	If an entity is an instance of flour, then there exist a process and another entity such that the process is an instance of grinding and the other entity is a patient of the process and the other entity is an instance of cereal grain and the entity is a result of the process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: