Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Choking(choking) |
| appearance as argument number 1 |
|
| (subclass Choking PathologicProcess) | Mid-level-ontology.kif 13247-13247 | Choking is a subclass of pathologic process |
| (subclass Choking (ImpairmentFn Breathing)) |
Mid-level-ontology.kif 13248-13248 | Choking is a subclass of impairment in breathing |
| (documentation Choking EnglishLanguage "Difficulty Breathing due to an obstruction of an airway, resulting in reflexive Coughing to clear the obstruction.") | Mid-level-ontology.kif 13249-13251 | Choking is a subclass of impairment in breathing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Choking "choking") | Mid-level-ontology.kif 13252-13252 |
| antecedent |
|
|
| (=> (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 13254-13269 | If X is an instance of choking and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of object (3) W is an instance of trachea (4) V is an instance of lung (5) W is a part of Y (6) V is a part of Y (7) Z is located at W or Z is located at V holds during the time of existence of X |
| (=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H)))) |
Mid-level-ontology.kif 13271-13279 | If X is an instance of choking and Y experiences X, then there exists Z such that Z is an instance of coughing, Z is a subprocess of X, and Y experiences Z |
|