| Inhaling(inhaling) | | gasp, pant, yawn |
| appearance as argument number 1 |
|
|
| (subclass Inhaling Breathing) | Mid-level-ontology.kif 12683-12683 | Inhaling is a subclass of breathing |
| (documentation Inhaling EnglishLanguage "Any instance of Breathing where the breath is taken into the Lungs.") | Mid-level-ontology.kif 12684-12685 | Inhaling is a subclass of breathing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?I Inhaling) (exists (?L) (and (instance ?L Lung) (destination ?I ?L)))) |
Mid-level-ontology.kif 12687-12692 | If X is an instance of inhaling, then there exists Y such that Y is an instance of lung and X ends up at Y |
| consequent |
|
|
| (=> (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 ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL)))))))))) |
Cars.kif 3609-3630 | If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U |
| (=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death))))) |
Transportation.kif 4704-4728 | If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death |
|
|
|