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 |
|