TreeView 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 is a subclass of breaking
(subclass Grinding Crushing)	Food.kif 1005-1005	Grinding is a subclass of 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

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 1034-1042	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 1476-1483	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 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

KB Term:			Term intersection

English Word: