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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NasalCavity

Sigma KEE - NasalCavity
NasalCavity

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


(documentation NasalCavity EnglishLanguage "The nasal cavity is a large, air-filled space above and behind the nose in the middle of the face. The nasal septum divides the cavity into two cavities, also known as fossae. Each cavity is the continuation of one of the two nostrils. The nasal cavity is the uppermost part of the respiratory system and provides the nasal passage for inhaled air from the nostrils to the nasopharynx and rest of the respiratory tract.[from Wikipedia]") Mid-level-ontology.kif 6078-6085
(subclass NasalCavity BodyCavity) Mid-level-ontology.kif 6076-6076 NasalCavity ist eine teilkategorie von BodyCavity

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


(termFormat EnglishLanguage NasalCavity "nasal cavity") Mid-level-ontology.kif 6086-6086

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


(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))
Mid-level-ontology.kif 6088-6094

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


(=>
    (and
        (instance ?C Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?NOSE ?O)
            (and
                (instance ?N NasalCavity)
                (instance ?NOSE Nose)
                (equal ?NOSE
                    (HoleHostFn ?N))
                (instance ?O Object)
                (instance ?R Removing)
                (part ?NOSE ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (located ?O ?N))))))
Mid-level-ontology.kif 6121-6139
(=>
    (holdsDuring ?T
        (attribute ?H Sinusitis))
    (exists (?NC ?NCH ?I)
        (and
            (instance ?NC NasalCavity)
            (equal ?NCH
                (HoleHostFn ?NC))
            (part ?NCH ?H)
            (instance ?I Inflammation)
            (during
                (WhenFn ?I) ?T)
            (patient ?I ?NCH))))
Medicine.kif 5706-5716
(=>
    (instance ?NS NasalSeptum)
    (exists (?NC)
        (and
            (instance ?NC NasalCavity)
            (contains ?NC ?NS))))
Mid-level-ontology.kif 6102-6107


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