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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - NasalCavity
NasalCavity(nasal cavity)

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 Nasal cavity is a subclass of body cavity

appearance as argument number 2

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


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


        (instance ?C Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?NOSE ?O)
                (instance ?N NasalCavity)
                (instance ?NOSE Nose)
                (equal ?NOSE
                    (HoleHostFn ?N))
                (instance ?O Object)
                (instance ?R Removing)
                (part ?NOSE ?H)
                (objectTransferred ?R ?O)
                        (WhenFn ?C))
                    (located ?O ?N))))))
Mid-level-ontology.kif 6121-6139
    (holdsDuring ?T
        (attribute ?H Sinusitis))
    (exists (?NC ?NCH ?I)
            (instance ?NC NasalCavity)
            (equal ?NCH
                (HoleHostFn ?NC))
            (part ?NCH ?H)
            (instance ?I Inflammation)
                (WhenFn ?I) ?T)
            (patient ?I ?NCH))))
Medicine.kif 5706-5716
    (instance ?NS NasalSeptum)
    (exists (?NC)
            (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