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 6027-6034
(subclass Coughing OrganismProcess) Mid-level-ontology.kif 6026-6026

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


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

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 6037-6048
(=>
    (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 6050-6069

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


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


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