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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 19583-19584
(externalImage Burying "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ 20000_graveyard.jpg") pictureList.kif 1679-1679
(subclass Burying Digging) Mid-level-ontology.kif 19582-19582 Burying is a subclass of digging
(subclass Burying Putting) Mid-level-ontology.kif 19581-19581 Burying is a subclass of putting

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


(termFormat ChineseLanguage Burying "掩埋") domainEnglishFormat.kif 12424-12424
(termFormat ChineseTraditionalLanguage Burying "掩埋") domainEnglishFormat.kif 12423-12423
(termFormat EnglishLanguage Burying "burying") domainEnglishFormat.kif 12422-12422

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


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

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


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


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