![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Exhaling EnglishLanguage "Any instance of Breathing where the breath is expelled from the Lungs.") | Mid-level-ontology.kif 11329-11330 | |
(subclass Exhaling Breathing) | Mid-level-ontology.kif 11328-11328 | 呼气 是 呼吸 的 subclass |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Exhaling "呼气") | domainEnglishFormat.kif 22762-22762 | |
(termFormat ChineseTraditionalLanguage Exhaling "呼氣") | domainEnglishFormat.kif 22761-22761 | |
(termFormat EnglishLanguage Exhaling "exhaling") | domainEnglishFormat.kif 22760-22760 |
antecedent |
![]() |
(=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L)))) |
Mid-level-ontology.kif 11332-11337 |
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 |
![]() |
![]() |