| Exhaling | |
| appearance as argument number 1 |
|
|
| (documentation Exhaling EnglishLanguage "Any instance of Breathing where the breath is expelled from the Lungs.") | Mid-level-ontology.kif 11520-11521 | |
| (subclass Exhaling Breathing) | Mid-level-ontology.kif 11519-11519 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Exhaling "呼气") | domainEnglishFormat.kif 22775-22775 | |
| (termFormat ChineseTraditionalLanguage Exhaling "呼氣") | domainEnglishFormat.kif 22774-22774 | |
| (termFormat EnglishLanguage Exhaling "exhaling") | domainEnglishFormat.kif 22773-22773 |
| antecedent |
|
|
| (=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L)))) |
Mid-level-ontology.kif 11523-11528 |
| 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 6037-6048 | |
| (=> (and (instance ?WI WindInstrument) (instance ?M MakingInstrumentalMusic) (agent ?M ?A) (instrument ?M ?WI)) (exists (?B) (and (instance ?B Exhaling) (agent ?B ?A) (subProcess ?B ?M)))) |
Music.kif 1203-1213 |
|
|
|