| appearance as argument number 1 |
|
| (subclass Coughing OrganismProcess) | Mid-level-ontology.kif 6988-6988 | Coughing is a subclass of organism process |
| (documentation Coughing EnglishLanguage "A cough is a sudden expulsion of air through the large Breathing passages that can help clear them of fluids, irritants, foreign particles and microbes. As a protective reflex, coughing can be repetitive with the cough reflex following three phases: an Inhalating, a forced Exhalating against a closed glottis, and a violent release of air from the lungs following opening of the glottis, usually accompanied by a distinctive sound.[from Wikipedia]") | Mid-level-ontology.kif 6989-6996 | Coughing is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Coughing "coughing") | Mid-level-ontology.kif 6997-6997 |
| antecedent |
|
|
| (=> (and (instance ?C Coughing) (experiencer ?C ?H)) (exists (?I ?E) (and (instance ?I Inhaling) (instance ?E Exhaling) (subProcess ?I ?C) (subProcess ?E ?C) (experiencer ?I ?H) (experiencer ?E ?H)))) |
Mid-level-ontology.kif 6999-7010 | If X is an instance of coughing and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of inhaling (3) W is an instance of exhaling (4) Z is a subprocess of X (5) W is a subprocess of X (6) Y experiences Z (7) Y experiences W |
| (=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L))))))) |
Mid-level-ontology.kif 7012-7031 | If X is an instance of coughing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of lung (3) U is an instance of throat (4) V is an instance of object (5) Z is an instance of removing (6) W is a part of Y (7) U is a part of Y (8) the object transferred in Z is V (9) V is located at U or V is located at W holds during immediately before the time of existence of X |
| consequent |
|
|
| (=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H)))) |
Mid-level-ontology.kif 13168-13176 | 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 |
|
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