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 1007-1009
(subclass Grinding Breaking)	Food.kif 1006-1006	Grinding e' uma sub-classe de Breaking
(subclass Grinding Crushing)	Food.kif 1005-1005	Grinding e' uma sub-classe de Crushing

appearance as argument number 2

(termFormat EnglishLanguage Grinding "grinding")

Food.kif 1010-1010

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 1012-1026

Processo e' uma instancia de Grinding Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Corpuscular
Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Colecao Entidade
- Entidade e' membro de Entidade
- Entidade e' uma &parte de Entidade
vale durante o fim de tempo de existencia de Processo

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 1034-1042	Entidade e' uma instancia de CoffeeGrind Processo Objeto Processo e' uma instancia de Grinding Objeto e' um patient de Processo Objeto e' uma instancia de CoffeeBean CookedAttribute e' um atributo de Objeto Entidade e' o resultado de Processo
(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P Grinding) (patient ?P ?C) (instance ?C CerealGrain) (result ?P ?F))))	Food.kif 1476-1483	Entidade e' uma instancia de Flour Processo Entidade Processo e' uma instancia de Grinding Entidade e' um patient de Processo Entidade e' uma instancia de CerealGrain Entidade e' o resultado de Processo

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: