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 19098-19098
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 19096-19096 Digging is a subclass of intentional process
(subclass Digging SurfaceChange) Mid-level-ontology.kif 19097-19097 Digging is a subclass of surface change

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


(subclass Burying Digging) Mid-level-ontology.kif 19083-19083 Burying is a subclass of digging
(subclass Tilling Digging) Mid-level-ontology.kif 19107-19107 Tilling is a subclass of digging
(termFormat ChineseLanguage Digging "挖掘") domainEnglishFormat.kif 19527-19527 Tilling is a subclass of digging
(termFormat ChineseTraditionalLanguage Digging "挖掘") domainEnglishFormat.kif 19526-19526 Tilling is a subclass of digging
(termFormat EnglishLanguage Digging "digging") domainEnglishFormat.kif 19525-19525 Tilling is a subclass of digging

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


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


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