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 6526-6528
(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 6525-6525 StranglingGrabbingsubclass では %n

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


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

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 6537-6547
(=>
    (instance ?S Strangling)
    (exists (?T)
        (and
            (patient ?S ?T)
            (instance ?T Throat))))
Mid-level-ontology.kif 6530-6535


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