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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Digging
Digging(digging)dig, digging, excavation

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


(documentation Digging EnglishLanguage "Any Process of removing or turning over the Soil.") Mid-level-ontology.kif 17401-17401
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 17399-17399 Digging is a subclass of intentional process
(subclass Digging SurfaceChange) Mid-level-ontology.kif 17400-17400 Digging is a subclass of surface change

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


(subclass Burying Digging) Mid-level-ontology.kif 17386-17386 Burying is a subclass of digging
(subclass Tilling Digging) Mid-level-ontology.kif 17410-17410 Tilling is a subclass of digging
(termFormat ChineseLanguage Digging "挖掘") domainEnglishFormat.kif 19503-19503
(termFormat ChineseTraditionalLanguage Digging "挖掘") domainEnglishFormat.kif 19502-19502
(termFormat EnglishLanguage Digging "digging") domainEnglishFormat.kif 19501-19501

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


(=>
    (instance ?D Digging)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Soil))))
Mid-level-ontology.kif 17403-17408


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