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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Digging
Digging

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


(documentation Digging EnglishLanguage "Any Process of removing or turning over the Soil.") Mid-level-ontology.kif 17256-17256
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 17254-17254
(subclass Digging SurfaceChange) Mid-level-ontology.kif 17255-17255

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


(subclass Burying Digging) Mid-level-ontology.kif 17241-17241
(subclass Tilling Digging) Mid-level-ontology.kif 17265-17265
(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 17258-17263


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