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 | Vein e' relacionado internamente por SUMO a Artery |
(subclass Vein BloodVessel) | Mid-level-ontology.kif 11147-11147 | Vein e' uma sub-classe de BloodVessel |
appearance as argument number 2 |
(subclass PulmonaryVein Vein) | Mid-level-ontology.kif 11180-11180 | PulmonaryVein e' uma sub-classe de Vein |
(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 |