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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NasalCavity

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 5786-5793
(subclass NasalCavity BodyCavity) Mid-level-ontology.kif 5784-5784 Nasal cavity is a subclass of body cavity

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


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

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


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

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 5829-5847
(=>
    (instance ?NS NasalSeptum)
    (exists (?NC)
        (and
            (instance ?NC NasalCavity)
            (contains ?NC ?NS))))
Mid-level-ontology.kif 5810-5815


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