TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Digging IntentionalProcess)	Mid-level-ontology.kif 19941-19941	Digging is a subclass of intentional process
(subclass Digging SurfaceChange)	Mid-level-ontology.kif 19942-19942	Digging is a subclass of surface change
(documentation Digging EnglishLanguage "Any Process of removing or turning over the Soil.")	Mid-level-ontology.kif 19943-19943	Digging is a subclass of surface change

appearance as argument number 2

(subclass Burying Digging)	Mid-level-ontology.kif 19928-19928	Burying is a subclass of digging
(subclass Tilling Digging)	Mid-level-ontology.kif 19952-19952	Tilling is a subclass of digging
(termFormat EnglishLanguage Digging "digging")	domainEnglishFormat.kif 19512-19512	Tilling is a subclass of digging
(termFormat ChineseTraditionalLanguage Digging "挖掘")	domainEnglishFormat.kif 19513-19513	Tilling is a subclass of digging
(termFormat ChineseLanguage Digging "挖掘")	domainEnglishFormat.kif 19514-19514	Tilling is a subclass of digging

antecedent

(=>
    (instance ?D Digging)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Soil))))

If X is an instance of digging, then there exists Y such that Y is a patient of X and Y is an instance of soil