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

appearance as argument number 2

(termFormat EnglishLanguage NasalSeptum "nasal septum")	Mid-level-ontology.kif 6649-6649
(termFormat EnglishLanguage NasalSeptum "septum")	Mid-level-ontology.kif 6650-6650

antecedent

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

Mid-level-ontology.kif 6652-6657

consequent

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

Medicine.kif 4435-4443