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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 6970-6977
(subclass Coughing OrganismProcess) Mid-level-ontology.kif 6969-6969

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


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

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 6980-6991
(=>
    (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 6993-7012

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


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


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



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