TreeView Knowledge Base Browser

antecedent

(=>
    (instance ?H Hanging)
    (exists (?S ?N ?P)
        (and
            (instance ?P Human)
            (instance ?S String)
            (instance ?N Neck)
            (experiencer ?H ?P)
            (properPart ?N ?P)
            (instrument ?H ?S)
            (holdsDuring
                (WhenFn ?H)
                (meetsSpatially ?S ?N)))))

If X is an instance of hanging, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of human (3) Y is an instance of string (4) Z is an instance of neck (5) W experiences X (6) Z is a proper part of W (7) Y is an instrument for X (8) Y meets Z holds during the time of existence of X

(subclass Hanging Suffocating)	Mid-level-ontology.kif 20378-20378	Hanging is a subclass of suffocating
(documentation Hanging EnglishLanguage "Suffocating someone by suspending him/ her from a rope wound around the neck until asphyxiation occurs.")	Mid-level-ontology.kif 20379-20380	Hanging is a subclass of suffocating

(termFormat EnglishLanguage Hanging "hanging")	domainEnglishFormat.kif 27374-27374
(termFormat ChineseTraditionalLanguage Hanging "掛")	domainEnglishFormat.kif 27375-27375
(termFormat ChineseLanguage Hanging "挂")	domainEnglishFormat.kif 27376-27376