|
|
   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 10776-10777 | |
| (subclass Exhaling Breathing) | Mid-level-ontology.kif 10775-10775 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Exhaling "呼气") | domainEnglishFormat.kif 22755-22755 | |
| (termFormat ChineseTraditionalLanguage Exhaling "呼氣") | domainEnglishFormat.kif 22754-22754 | |
| (termFormat EnglishLanguage Exhaling "exhaling") | domainEnglishFormat.kif 22753-22753 |
| antecedent |
|
|
| (=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L)))) |
Mid-level-ontology.kif 10779-10784 |
| 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 5698-5709 | |
| (=> (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 1196-1206 |
|
|
|