TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Pericardium AnimalAnatomicalStructure)	Mid-level-ontology.kif 12887-12887	Pericardial sac is a subclass of animal anatomical structure
(subclass Pericardium Container)	Mid-level-ontology.kif 12888-12888	Pericardial sac is a subclass of container
(documentation Pericardium EnglishLanguage "The pericardium, also called pericardial sac, is a double-walled sac containing the Heart and the roots of the great vessels. It has two layers, an outer layer made of strong connective Tissue (fibrous pericardium), and an inner layer made of serous membrane (serous pericardium). It encloses the pericardial cavity, which contains pericardial fluid, and defines the middle mediastinum. It separates the heart from interference of other structures, protects it against infection and blunt trauma, and lubricates the heart's movements.[from Wikipedia]")	Mid-level-ontology.kif 12890-12898	Pericardial sac is a subclass of container

appearance as argument number 2

(termFormat EnglishLanguage Pericardium "pericardium")	Mid-level-ontology.kif 12899-12899
(termFormat EnglishLanguage Pericardium "pericardial sac")	Mid-level-ontology.kif 12900-12900

antecedent

(=>
    (instance ?P Pericardium)
    (hasPurpose ?P
        (exists (?H)
            (and
                (instance ?H Heart)
                (contains ?P ?H)))))

If X is an instance of pericardial sac, then X has the purpose there exists Y such that Y is an instance of heart and X contains Y

statement

(equal Pericarditis
(InflammationFn Pericardium))