| appearance as argument number 1 |
|
| (subclass Sneezing OrganismProcess) | Mid-level-ontology.kif 7066-7066 | Sneezing is a subclass of organism process |
| (documentation Sneezing EnglishLanguage "A sneeze (also known as sternutation) is a semi-autonomous, convulsive expulsion of air from the lungs through the nose and mouth, usually caused by foreign particles irritating the nasal mucosa. A sneeze expels air forcibly from the mouth and nose in an explosive, spasmodic involuntary action. This action allows for mucus to escape through the nasal cavity.[from Wikipedia]") | Mid-level-ontology.kif 7068-7074 | Sneezing is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sneezing "sneezing") | Mid-level-ontology.kif 7076-7076 |
| antecedent |
|
|
| (=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N)))))) |
Mid-level-ontology.kif 7078-7096 | If X is an instance of sneezing 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 nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X |
|
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