TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Exhaling EnglishLanguage "Any instance of Breathing where the breath is expelled from the Lungs.")	Mid-level-ontology.kif 11301-11302
(subclass Exhaling Breathing)	Mid-level-ontology.kif 11300-11300	Exhaling è una sottoclasse di Respirazione

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 11304-11309

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 6042-6053	Processo è un' istanza di Coughing AutonomousAgent esperisces Processo Processo Processo Processo è un' istanza di Inhaling Processo è un' istanza di Exhaling Processo è un sottoprocesso di Processo Processo è un sottoprocesso di Processo AutonomousAgent esperisces Processo AutonomousAgent esperisces Processo
(=> (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	Oggetto è un' istanza di WindInstrument Processo è un' istanza di MakingInstrumentalMusic Processo è un agente di AutonomousAgent Oggetto è uno strumento per Processo Processo Processo è un' istanza di Exhaling Processo è un agente di AutonomousAgent Processo è un sottoprocesso di Processo