Vein
|
|
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 11149-11150 | |
(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 11148-11148 | |
(subclass Vein BloodVessel) | Mid-level-ontology.kif 11147-11147 |
appearance as argument number 2 |
(subclass PulmonaryVein Vein) | Mid-level-ontology.kif 11180-11180 | |
(termFormat ChineseLanguage Vein "静脉") | domainEnglishFormat.kif 61438-61438 | |
(termFormat ChineseTraditionalLanguage Vein "靜脈") | domainEnglishFormat.kif 61437-61437 | |
(termFormat EnglishLanguage Vein "vein") | domainEnglishFormat.kif 61436-61436 |
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 11152-11162 |
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 | |
(=> (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 | |
(=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V)))) |
Mid-level-ontology.kif 11205-11211 | |
(=> (instance ?IVT IVTherapy) (exists (?P ?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V)))) |
Medicine.kif 1078-1085 |