NasalSeptum - Sigma Knowledge base Browser

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	Septum is a subclass of body part

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