TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Raping Mating)	Mid-level-ontology.kif 26382-26382	Raping is a subclass of mating
(subclass Raping CriminalAction)	Mid-level-ontology.kif 26383-26383	Raping is a subclass of criminal action
(documentation Raping EnglishLanguage "Any instance of Mating where one participant does not consent. This is limited to acts between Humans.")	Mid-level-ontology.kif 26384-26385	Raping is a subclass of criminal action
(externalImage Raping "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Rape_of_the_Sabine_Women.jpg")	pictureList.kif 7701-7701	Raping is a subclass of criminal action

appearance as argument number 2

(termFormat EnglishLanguage Raping "raping")	domainEnglishFormat.kif 48777-48777
(termFormat ChineseTraditionalLanguage Raping "性侵")	domainEnglishFormat.kif 48778-48778
(termFormat ChineseLanguage Raping "性侵")	domainEnglishFormat.kif 48779-48779

antecedent

(=>
    (instance ?R Raping)
    (exists (?A)
        (and
            (experiencer ?R ?A)
            (not
                (wants ?A ?R)))))

If X is an instance of raping, then there exists Y such that Y experiences X and Y doesn't want X