Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Strangling
Strangling(strangling)
choke, scrag, strangle, strangulate, throttle

appearance as argument number 1
-------------------------


(documentation Strangling EnglishLanguage "Any instance of Grabbing where the patient is someone else's throat and the intention is to make it impossible for the other person to breathe.") Mid-level-ontology.kif 6520-6522
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ ArmyMilCombativesChokehold.jpg") pictureList.kif 6900-6900
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Gray513.png") pictureList.kif 7997-7997
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ GarroteExecution1901.jpg") pictureList.kif 7996-7996
(subclass Strangling Grabbing) Mid-level-ontology.kif 6519-6519 Strangling is a subclass of grabbing

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Strangling "绞杀") domainEnglishFormat.kif 55594-55594
(termFormat ChineseTraditionalLanguage Strangling "絞殺") domainEnglishFormat.kif 55593-55593
(termFormat EnglishLanguage Strangling "strangling") domainEnglishFormat.kif 55592-55592

antecedent
-------------------------


(=>
    (and
        (instance ?S Strangling)
        (patient ?S ?V)
        (instance ?V Human))
    (hasPurpose ?S
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (agent ?B ?V))))))
Mid-level-ontology.kif 6531-6541
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))
Mid-level-ontology.kif 6524-6529


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners