TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Burying EnglishLanguage "Putting something in the ground and then covering it with Soil.")	Mid-level-ontology.kif 17994-17995
(externalImage Burying "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ 20000_graveyard.jpg")	pictureList.kif 1680-1680
(subclass Burying Digging)	Mid-level-ontology.kif 17993-17993	Burying ist eine teilkategorie von Digging
(subclass Burying Putting)	Mid-level-ontology.kif 17992-17992	Burying ist eine teilkategorie von 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 17997-18004

Wenn Process ist ein fall von Burying %n{nicht},
dann es gibt ** Process und Object um ** ** Process ist ein fall von Covering %n{nicht} und ** Object ist ein instrument fuer ** ** Process %n{nicht} und ** Object ist ein fall von Soil %n{nicht} und ** ** Process ist ein subProzess von ** Process

consequent

(=>
    (instance ?BURIAL Burial)
    (exists (?SP)
        (and
            (instance ?SP Burying)
            (subProcess ?SP ?BURIAL))))

Mid-level-ontology.kif 16016-16021

Wenn Process ist ein fall von Burial %n{nicht},
dann es gibt ** Process um ** ** Process ist ein fall von Burying %n{nicht} und ** ** Process ist ein subProzess von ** Process