NasalCavity - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat EnglishLanguage NasalCavity "nasal cavity")

Mid-level-ontology.kif 6636-6636

antecedent

(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))

Mid-level-ontology.kif 6638-6644

If a hole is an instance of nasal cavity,
then there exists the holeOSE such that the holeOSE is an instance of nose and the holeOSE is equal to the host of the hole the hole

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 6671-6689	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and the other entityOSE is equal to the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
(=> (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 5694-5704	If sinus infection is an attribute of an object holds during a time interval, then there exist a hole, the holeH and a process such that the hole is an instance of nasal cavity and the holeH is equal to the host of the hole the hole and the holeH is a part of the object and the process is an instance of inflammation and the time of existence of the process takes place during the time interval and the holeH is a patient of the process
(=> (instance ?NS NasalSeptum) (exists (?NC) (and (instance ?NC NasalCavity) (contains ?NC ?NS))))	Mid-level-ontology.kif 6652-6657	If an object is an instance of septum, then there exists a self connected object such that the self connected object is an instance of nasal cavity and the self connected object contains the object

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

KB Term:			Term intersection

English Word: