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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coughing

Sigma KEE - Coughing
Coughing

appearance as argument number 1
-------------------------


(documentation Coughing EnglishLanguage "A cough is a sudden expulsion of air through the large Breathing passages that can help clear them of fluids, irritants, foreign particles and microbes. As a protective reflex, coughing can be repetitive with the cough reflex following three phases: an Inhalating, a forced Exhalating against a closed glottis, and a violent release of air from the lungs following opening of the glottis, usually accompanied by a distinctive sound.[from Wikipedia]") Mid-level-ontology.kif 5688-5695
(subclass Coughing OrganismProcess) Mid-level-ontology.kif 5687-5687

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


(termFormat EnglishLanguage Coughing "coughing") Mid-level-ontology.kif 5696-5696

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


(=>
    (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 ?C Coughing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?L ?O ?T)
            (and
                (instance ?L Lung)
                (instance ?T Throat)
                (instance ?O Object)
                (instance ?R Removing)
                (part ?L ?H)
                (part ?T ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (or
                        (located ?O ?T)
                        (located ?O ?L)))))))
Mid-level-ontology.kif 5711-5730

consequent
-------------------------


(=>
    (and
        (instance ?C Choking)
        (experiencer ?C ?H))
    (exists (?CO)
        (and
            (instance ?CO Coughing)
            (subProcess ?CO ?C)
            (experiencer ?CO ?H))))
Mid-level-ontology.kif 11226-11234


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