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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Burying

appearance as argument number 1

(documentation Burying EnglishLanguage "Putting something in the ground and then covering it with Soil.") Mid-level-ontology.kif 17242-17243
(externalImage Burying " 23/ 20000_graveyard.jpg") pictureList.kif 1681-1681
(subclass Burying Digging) Mid-level-ontology.kif 17241-17241
(subclass Burying Putting) Mid-level-ontology.kif 17240-17240

appearance as argument number 2

(termFormat ChineseLanguage Burying "掩埋") domainEnglishFormat.kif 12412-12412
(termFormat ChineseTraditionalLanguage Burying "掩埋") domainEnglishFormat.kif 12411-12411
(termFormat EnglishLanguage Burying "burying") domainEnglishFormat.kif 12410-12410


    (instance ?B Burying)
    (exists (?C ?S)
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 17245-17252


    (instance ?BURIAL Burial)
    (exists (?SP)
            (instance ?SP Burying)
            (subProcess ?SP ?BURIAL))))
Mid-level-ontology.kif 15297-15302

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