Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Strangling(strangling)
|  | choke, scrag, strangle, strangulate, throttle |
| appearance as argument number 1 |
|
|
| (subclass Strangling Grabbing) | Mid-level-ontology.kif 7613-7613 | Strangling is a subclass of grabbing |
| (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 7614-7616 | Strangling is a subclass of grabbing |
| (externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ ArmyMilCombativesChokehold.jpg") | pictureList.kif 6899-6899 | Strangling is a subclass of grabbing |
| (externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ GarroteExecution1901.jpg") | pictureList.kif 7995-7995 | Strangling is a subclass of grabbing |
| (externalImage Strangling "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Gray513.png") | pictureList.kif 7996-7996 | Strangling is a subclass of grabbing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Strangling) (exists (?T) (and (patient ?S ?T) (instance ?T Throat)))) |
Mid-level-ontology.kif 7618-7623 | If X is an instance of strangling, then there exists Y such that Y is a patient of X and Y is an instance of throat |
| (=> (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 7625-7635 | If X is an instance of strangling, Y is a patient of X, and Y is an instance of human, then X has the purpose there doesn't exist Z such that Z is an instance of breathing and Y is an agent of Z |
|