Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crushing

Sigma KEE - Crushing
Crushing

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


(documentation Crushing EnglishLanguage "Crushing is an Impacting with Compressing Motion appled to an Object, causing it to be broken, thus resulted in a ShapeChange.") Food.kif 965-966
(relatedInternalConcept Crushing Breaking) Food.kif 964-964 相關的內部概念 Crushing and Breaking
(subclass Crushing Compressing) Food.kif 962-962 子類 Crushing and Compressing
(subclass Crushing Impacting) Food.kif 961-961 子類 Crushing and Impacting
(subclass Crushing ShapeChange) Food.kif 963-963 子類 Crushing and ShapeChange

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


(subclass Grinding Crushing) Food.kif 1005-1005 子類 Grinding and Crushing
(termFormat EnglishLanguage Crushing "crushing") Food.kif 967-967

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


(=>
    (and
        (instance ?C Crushing)
        (patient ?C ?O)
        (instance ?O Object))
    (exists (?B ?SC)
        (and
            (instance ?B Breaking)
            (causes ?C ?B)
            (subProcess ?B ?SC)
            (instance ?SC ShapeChange)
            (patient ?B ?O)
            (patient ?SC ?O))))
Food.kif 980-992
(=>
    (and
        (instance ?C Crushing)
        (patient ?C ?O)
        (instance ?O Object))
    (exists (?SC)
        (and
            (result ?C ?SC)
            (instance ?SC ShapeChange)
            (patient ?SC ?O))))
Food.kif 994-1003
(=>
    (instance ?C Crushing)
    (exists (?I ?C ?O)
        (and
            (instance ?I Impacting)
            (subProcess ?C ?I)
            (instance ?C Compressing)
            (patient ?I ?O)
            (patient ?C ?O)
            (instance ?O Object))))
Food.kif 969-978


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