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 18253-18254 | |
(externalImage Burying "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ 20000_graveyard.jpg") | pictureList.kif 1680-1680 | |
(subclass Burying Digging) | Mid-level-ontology.kif 18252-18252 | Burying is a subclass of digging |
(subclass Burying Putting) | Mid-level-ontology.kif 18251-18251 | Burying is a subclass of putting |
appearance as argument number 2 |
(termFormat ChineseLanguage Burying "掩埋") | domainEnglishFormat.kif 12425-12425 | |
(termFormat ChineseTraditionalLanguage Burying "掩埋") | domainEnglishFormat.kif 12424-12424 | |
(termFormat EnglishLanguage Burying "burying") | domainEnglishFormat.kif 12423-12423 |
antecedent |
(=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B)))) |
Mid-level-ontology.kif 18256-18263 |
|
consequent |
(=> (instance ?BURIAL Burial) (exists (?SP) (and (instance ?SP Burying) (subProcess ?SP ?BURIAL)))) |
Mid-level-ontology.kif 16235-16240 |
|