|
|
   NasalSeptum
|
|
|
| appearance as argument number 1 |
|
|
| (documentation NasalSeptum EnglishLanguage "The nasal septum divides the NavalCavity into two parts, one leading from each Nostril.") | Mid-level-ontology.kif 6097-6098 | |
| (subclass NasalSeptum BodyPart) | Mid-level-ontology.kif 6096-6096 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NasalSeptum "nasal septum") | Mid-level-ontology.kif 6099-6099 | |
| (termFormat EnglishLanguage NasalSeptum "septum") | Mid-level-ontology.kif 6100-6100 |
| antecedent |
|
|
| (=> (instance ?NS NasalSeptum) (exists (?NC) (and (instance ?NC NasalCavity) (contains ?NC ?NS)))) |
Mid-level-ontology.kif 6102-6107 |
| consequent |
|
|
| (=> (and (instance ?S Septoplasty) (experiencer ?S ?H)) (exists (?SEPT) (and (instance ?SEPT NasalSeptum) (part ?SEPT ?H) (patient ?S ?SEPT)))) |
Medicine.kif 4447-4455 |
|
|
|