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

appearance as argument number 2

(termFormat EnglishLanguage NasalSeptum "nasal septum")	Mid-level-ontology.kif 7037-7037
(termFormat EnglishLanguage NasalSeptum "septum")	Mid-level-ontology.kif 7038-7038

antecedent

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

Mid-level-ontology.kif 7040-7045

consequent

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

Medicine.kif 4454-4462