Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Exhaling

Sigma KEE - Exhaling
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 11168-11169
(subclass Exhaling Breathing) Mid-level-ontology.kif 11167-11167

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Exhaling "呼气") domainEnglishFormat.kif 22750-22750
(termFormat ChineseTraditionalLanguage Exhaling "呼氣") domainEnglishFormat.kif 22749-22749
(termFormat EnglishLanguage Exhaling "exhaling") domainEnglishFormat.kif 22748-22748

antecedent
-------------------------


(=>
    (instance ?E Exhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (origin ?E ?L))))
Mid-level-ontology.kif 11171-11176

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 6003-6014
(=>
    (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 1202-1212


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners