Vein - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Vein EnglishLanguage "Any BloodVessel which transfers Blood from the extremities of the body to the Heart.")	Mid-level-ontology.kif 11340-11341
(externalImage Vein "http://upload.wikimedia.org/wikipedia/commons/5/51/ Great_saphenous_vein.png")	pictureList.kif 4845-4845
(relatedInternalConcept Vein Artery)	Mid-level-ontology.kif 11339-11339	Vein is internally related to artery
(subclass Vein BloodVessel)	Mid-level-ontology.kif 11338-11338	Vein is a subclass of blood vessel

appearance as argument number 2

(subclass PulmonaryVein Vein)	Mid-level-ontology.kif 11371-11371	Pulmonary vein is a subclass of vein
(termFormat ChineseLanguage Vein "静脉")	domainEnglishFormat.kif 61484-61484	Pulmonary vein is a subclass of vein
(termFormat ChineseTraditionalLanguage Vein "靜脈")	domainEnglishFormat.kif 61483-61483	Pulmonary vein is a subclass of vein
(termFormat EnglishLanguage Vein "vein")	domainEnglishFormat.kif 61482-61482	Pulmonary vein is a subclass of vein

antecedent

(=>
    (and
        (instance ?V Vein)
        (instance ?T Transfer)
        (patient ?T ?B)
        (instrument ?T ?V)
        (instance ?B Blood))
    (exists (?H)
        (and
            (instance ?H Heart)
            (destination ?T ?H))))

Mid-level-ontology.kif 11343-11353

If an object is an instance of 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 exists another entity such that the other entity is an instance of heart and the process ends up at the other entity

consequent

(=> (and (instance ?B Bleeding) (experiencer ?B ?H)) (exists (?VA ?D) (and (or (instance ?VA Vein) (instance ?VA Artery)) (part ?VA ?H) (instance ?D Damaging) (earlier (WhenFn ?D) (WhenFn ?B)) (patient ?D ?VA))))	Medicine.kif 80-94	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
(=> (instance ?BC BloodCirculation) (exists (?O ?V ?A ?B) (and (instance ?O Animal) (instance ?B Blood) (moves ?BC ?B) (instance ?A Artery) (instance ?V Vein) (part ?A ?O) (part ?V ?O) (path ?BC ?A) (path ?BC ?V))))	Medicine.kif 491-503	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
(=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V))))	Mid-level-ontology.kif 11396-11402	If an object is an instance of capillary, then there exist another object and a third object such that the other object is an instance of artery and the third object is an instance of vein and the object connects the other object and the third object
(=> (instance ?IVT IVTherapy) (exists (?P ?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V))))	Medicine.kif 1078-1085	If a motion is an instance of IV Therapy, then there exist an entity, another entity and an object such that the object is an instance of IV Line and the object is path along which the motion occurs and the other entity is an instance of vein and the motion ends up at the other entity

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: