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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Burying

Sigma KEE - Burying
Burying(burying)
burial, bury, burying, reburial, reburying

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


(documentation Burying EnglishLanguage "Putting something in the ground and then covering it with Soil.") Mid-level-ontology.kif 17995-17996
(externalImage Burying "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ 20000_graveyard.jpg") pictureList.kif 1680-1680
(subclass Burying Digging) Mid-level-ontology.kif 17994-17994 Burying is a subclass of digging
(subclass Burying Putting) Mid-level-ontology.kif 17993-17993 Burying is a subclass of putting

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


(termFormat ChineseLanguage Burying "掩埋") domainEnglishFormat.kif 12409-12409
(termFormat ChineseTraditionalLanguage Burying "掩埋") domainEnglishFormat.kif 12408-12408
(termFormat EnglishLanguage Burying "burying") domainEnglishFormat.kif 12407-12407

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


(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 17998-18005

consequent
-------------------------


(=>
    (instance ?BURIAL Burial)
    (exists (?SP)
        (and
            (instance ?SP Burying)
            (subProcess ?SP ?BURIAL))))
Mid-level-ontology.kif 16017-16022


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