Burying
|
|
appearance as argument number 1 |
(documentation Burying EnglishLanguage "Putting something in the ground and then covering it with Soil.") | Mid-level-ontology.kif 18022-18023 | |
(externalImage Burying "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ 20000_graveyard.jpg") | pictureList.kif 1680-1680 | |
(subclass Burying Digging) | Mid-level-ontology.kif 18021-18021 | |
(subclass Burying Putting) | Mid-level-ontology.kif 18020-18020 |
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 18025-18032 |
consequent |
(=> (instance ?BURIAL Burial) (exists (?SP) (and (instance ?SP Burying) (subProcess ?SP ?BURIAL)))) |
Mid-level-ontology.kif 16044-16049 |