Choking |
appearance as argument number 1 |
(documentation Choking EnglishLanguage "Difficulty Breathing due to an obstruction of an airway, resulting in reflexive Coughing to clear the obstruction.") | Mid-level-ontology.kif 11776-11778 | |
(subclass Choking (ImpairmentFn Breathing)) |
Mid-level-ontology.kif 11775-11775 | |
(subclass Choking PathologicProcess) | Mid-level-ontology.kif 11774-11774 |
appearance as argument number 2 |
(termFormat EnglishLanguage Choking "choking") | Mid-level-ontology.kif 11779-11779 |
antecedent |
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H)))) |
Mid-level-ontology.kif 11798-11806 | |
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L)))))) |
Mid-level-ontology.kif 11781-11796 |