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 7054-7055
(subclass NasalSeptum BodyPart)	Mid-level-ontology.kif 7053-7053	Septum is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage NasalSeptum "nasal septum")	Mid-level-ontology.kif 7056-7056
(termFormat EnglishLanguage NasalSeptum "septum")	Mid-level-ontology.kif 7057-7057

antecedent

(=>
    (instance ?NS NasalSeptum)
    (exists (?NC)
        (and
            (instance ?NC NasalCavity)
            (contains ?NC ?NS))))

Mid-level-ontology.kif 7059-7064

consequent

(=>
    (and
        (instance ?S Septoplasty)
        (experiencer ?S ?H))
    (exists (?SEPT)
        (and
            (instance ?SEPT NasalSeptum)
            (part ?SEPT ?H)
            (patient ?S ?SEPT))))

Medicine.kif 4454-4462