NasalSeptum - Sigma Knowledge base Browser

appearance as argument number 1

(subclass NasalSeptum BodyPart)	Mid-level-ontology.kif 7216-7216	Septum is a subclass of body part
(documentation NasalSeptum EnglishLanguage "The nasal septum divides the NavalCavity into two parts, one leading from each Nostril.")	Mid-level-ontology.kif 7217-7218	Septum is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage NasalSeptum "nasal septum")	Mid-level-ontology.kif 7219-7219
(termFormat EnglishLanguage NasalSeptum "septum")	Mid-level-ontology.kif 7220-7220

antecedent

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

If X is an instance of septum, then there exists Y such that Y is an instance of nasal cavity and Y contains X

consequent

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

If X is an instance of septoplasty and Y experiences X, then there exists Z such that Z is an instance of septum, Z is a part of Y, and Z is a patient of X