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 7075-7077
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ ArmyMilCombativesChokehold.jpg") pictureList.kif 6899-6899
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Gray513.png") pictureList.kif 7996-7996
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ GarroteExecution1901.jpg") pictureList.kif 7995-7995
(subclass Strangling Grabbing) Mid-level-ontology.kif 7074-7074 Strangling is a subclass of grabbing

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


(termFormat ChineseLanguage Strangling "绞杀") domainEnglishFormat.kif 55587-55587
(termFormat ChineseTraditionalLanguage Strangling "絞殺") domainEnglishFormat.kif 55586-55586
(termFormat EnglishLanguage Strangling "strangling") domainEnglishFormat.kif 55585-55585

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 7086-7096
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))
Mid-level-ontology.kif 7079-7084


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