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 11122-11123 | |
(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 11121-11121 | Vein ist innerlich verwandt mit Artery %n{nicht} |
(subclass Vein BloodVessel) | Mid-level-ontology.kif 11120-11120 | Vein ist eine teilkategorie von BloodVessel |
appearance as argument number 2 |
(subclass PulmonaryVein Vein) | Mid-level-ontology.kif 11153-11153 | PulmonaryVein ist eine teilkategorie von Vein |
(termFormat ChineseLanguage Vein "静脉") | domainEnglishFormat.kif 61436-61436 | |
(termFormat ChineseTraditionalLanguage Vein "靜脈") | domainEnglishFormat.kif 61435-61435 | |
(termFormat EnglishLanguage Vein "vein") | domainEnglishFormat.kif 61434-61434 |
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 11125-11135 |
|
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 11178-11184 |
|
(=> (instance ?IVT IVTherapy) (exists (?P ?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V)))) |
Medicine.kif 1078-1085 |