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 6092-6093 | |
(subclass NasalSeptum BodyPart) | Mid-level-ontology.kif 6091-6091 | NasalSeptum est une sous-classe de partie du corps |
appearance as argument number 2 |
(termFormat EnglishLanguage NasalSeptum "nasal septum") | Mid-level-ontology.kif 6094-6094 | |
(termFormat EnglishLanguage NasalSeptum "septum") | Mid-level-ontology.kif 6095-6095 |
antecedent |
(=> (instance ?NS NasalSeptum) (exists (?NC) (and (instance ?NC NasalCavity) (contains ?NC ?NS)))) |
Mid-level-ontology.kif 6097-6102 |
|
consequent |
(=> (and (instance ?S Septoplasty) (experiencer ?S ?H)) (exists (?SEPT) (and (instance ?SEPT NasalSeptum) (part ?SEPT ?H) (patient ?S ?SEPT)))) |
Medicine.kif 4447-4455 |
|