TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Vandalism Destruction)	Mid-level-ontology.kif 24412-24412	Vandalism is a subclass of destruction
(documentation Vandalism EnglishLanguage "An event where the objective of the agent is to damage or destroy some property of another agent. This is distinguished from acts where the prime objective is damage or loss of life of another agent.")	Mid-level-ontology.kif 24413-24416	Vandalism is a subclass of destruction
(externalImage Vandalism "http://articulatesoftware.com/SUMOpictures/people/ distressed/ vandalism.png")	pictureList.kif 819-819	Vandalism is a subclass of destruction

appearance as argument number 2

(termFormat EnglishLanguage Vandalism "vandalism")	domainEnglishFormat.kif 61227-61227
(termFormat ChineseTraditionalLanguage Vandalism "人為破壞")	domainEnglishFormat.kif 61228-61228
(termFormat ChineseLanguage Vandalism "人为破坏")	domainEnglishFormat.kif 61229-61229

antecedent

(=>
    (instance ?X Vandalism)
    (not
        (exists (?A)
            (and
                (instance ?A AutonomousAgent)
                (patient ?X ?A)))))

If X is an instance of vandalism, then there doesn't exist Y such that Y is an instance of agent and Y is a patient of X