PulmonaryVein - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PulmonaryVein EnglishLanguage "A Vein that carries Blood from the Lungs to the Heart.")	Mid-level-ontology.kif 12050-12051
(externalImage PulmonaryVein "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Heart_and_lungs.jpg")	pictureList.kif 9571-9571
(subclass PulmonaryVein Vein)	Mid-level-ontology.kif 12049-12049	Pulmonary vein is a subclass of vein

appearance as argument number 2

(termFormat ChineseLanguage PulmonaryVein "肺静脉")	domainEnglishFormat.kif 48117-48117
(termFormat ChineseTraditionalLanguage PulmonaryVein "肺靜脈")	domainEnglishFormat.kif 48116-48116
(termFormat EnglishLanguage PulmonaryVein "pulmonary vein")	domainEnglishFormat.kif 48115-48115

antecedent

(=>
    (and
        (instance ?V PulmonaryVein)
        (instance ?T Transfer)
        (patient ?T ?B)
        (instrument ?T ?V)
        (instance ?B Blood))
    (exists (?L ?H ?P)
        (and
            (instance ?L Lung)
            (origin ?T ?L)
            (part ?V ?P)
            (part ?L ?P)
            (part ?H ?P)
            (instance ?H Heart)
            (destination ?T ?H))))

Mid-level-ontology.kif 12053-12068

If an object is an instance of pulmonary vein and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood,
then there exist another object, a third object and a fourth object such that the other object is an instance of lung and the process originates at the other object and the object is a part of the fourth object and the other object is a part of the fourth object and the third object is a part of the fourth object and the third object is an instance of heart and the process ends up at the third object

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

KB Term:			Term intersection

English Word: