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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Strangling

Sigma KEE - Strangling
Strangling

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 6486-6488
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ ArmyMilCombativesChokehold.jpg") pictureList.kif 6901-6901
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Gray513.png") pictureList.kif 7998-7998
(externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ GarroteExecution1901.jpg") pictureList.kif 7997-7997
(subclass Strangling Grabbing) Mid-level-ontology.kif 6485-6485

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


(termFormat ChineseLanguage Strangling "绞杀") domainEnglishFormat.kif 55540-55540
(termFormat ChineseTraditionalLanguage Strangling "絞殺") domainEnglishFormat.kif 55539-55539
(termFormat EnglishLanguage Strangling "strangling") domainEnglishFormat.kif 55538-55538

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 6497-6507
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))
Mid-level-ontology.kif 6490-6495


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

Show without tree


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