Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   NasalCavity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NasalCavity BodyCavity) | Mid-level-ontology.kif 7196-7196 | Nasal cavity is a subclass of body cavity |
| (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 7198-7205 | Nasal cavity is a subclass of body cavity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NasalCavity "nasal cavity") | Mid-level-ontology.kif 7206-7206 |
| antecedent |
|
|
| (=> (instance ?N NasalCavity) (exists (?NOSE) (and (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N))))) |
Mid-level-ontology.kif 7208-7214 | If X is an instance of nasal cavity, then there exists Y such that Y is an instance of nose, equal Y, and the host of the hole X |
| consequent |
|
|
| (=> (instance ?NS NasalSeptum) (exists (?NC) (and (instance ?NC NasalCavity) (contains ?NC ?NS)))) |
Mid-level-ontology.kif 7222-7227 | If X is an instance of septum, then there exists Y such that Y is an instance of nasal cavity and Y contains X |
| (=> (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 7241-7259 | If X is an instance of sneezing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X |
| (=> (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 5731-5741 | If sinus infection is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of nasal cavity (3) equal W (4) the host of the hole Z (5) W is a part of X (6) V is an instance of inflammation (7) the time of existence of V takes place during Y (8) W is a patient of V |
|