Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pericardium
Pericardium(pericardial sac)

appearance as argument number 1
-------------------------


(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 11608-11616
(subclass Pericardium AnimalAnatomicalStructure) Mid-level-ontology.kif 11605-11605 Pericardial sac is a subclass of animal anatomical structure
(subclass Pericardium Container) Mid-level-ontology.kif 11606-11606 Pericardial sac is a subclass of container

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Pericardium "pericardial sac") Mid-level-ontology.kif 11618-11618
(termFormat EnglishLanguage Pericardium "pericardium") Mid-level-ontology.kif 11617-11617

antecedent
-------------------------


(=>
    (instance ?P Pericardium)
    (hasPurpose ?P
        (exists (?H)
            (and
                (instance ?H Heart)
                (contains ?P ?H)))))
Mid-level-ontology.kif 11620-11626

statement
-------------------------


(equal Pericarditis
    (InflammationFn Pericardium))
Mid-level-ontology.kif 11629-11629 Pericarditis is equal to inflammation of pericardial sac


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners