TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Stoning ViolentContest)	Mid-level-ontology.kif 24367-24367	Stoning is a subclass of violent contest
(documentation Stoning EnglishLanguage "An act where a victim or victims is attacked with stones. The stones may either be placed on top of a victim in order to cause death by pressure and suffocation, in which case the act is typically part of a ritualized legal sentence, or where the victim is pelted with stones causing injury or death by trauma. The intent of such an act is usually the death of the victim.")	Mid-level-ontology.kif 24368-24373	Stoning is a subclass of violent contest

appearance as argument number 2

(termFormat EnglishLanguage Stoning "stoning")	domainEnglishFormat.kif 55465-55465
(termFormat ChineseTraditionalLanguage Stoning "亂石")	domainEnglishFormat.kif 55466-55466
(termFormat ChineseLanguage Stoning "乱石")	domainEnglishFormat.kif 55467-55467

antecedent

(=>
    (instance ?X Stoning)
    (exists (?ST)
        (and
            (instance ?ST Rock)
            (instrument ?X ?ST))))

If X is an instance of stoning, then there exists Y such that Y is an instance of rock and Y is an instrument for X