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 6098-6099 | |
(subclass NasalSeptum BodyPart) | Mid-level-ontology.kif 6097-6097 | NasalSeptum 是 身体部位 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage NasalSeptum "nasal septum") | Mid-level-ontology.kif 6100-6100 | |
(termFormat EnglishLanguage NasalSeptum "septum") | Mid-level-ontology.kif 6101-6101 |
antecedent |
(=> (instance ?NS NasalSeptum) (exists (?NC) (and (instance ?NC NasalCavity) (contains ?NC ?NS)))) |
Mid-level-ontology.kif 6103-6108 |
|
consequent |
(=> (and (instance ?S Septoplasty) (experiencer ?S ?H)) (exists (?SEPT) (and (instance ?SEPT NasalSeptum) (part ?SEPT ?H) (patient ?S ?SEPT)))) |
Medicine.kif 4447-4455 |