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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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

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


(termFormat ChineseLanguage Strangling "绞杀") domainEnglishFormat.kif 55556-55556
(termFormat ChineseTraditionalLanguage Strangling "絞殺") domainEnglishFormat.kif 55555-55555
(termFormat EnglishLanguage Strangling "strangling") domainEnglishFormat.kif 55554-55554

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