Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vein
Vein(vein)
accessory_cephalic_vein, accessory_hemiazygos_vein, accessory_hemiazygous_vein, accessory_vertebral_vein, accompanying_vein, anastomotic_vein, angular_vein, anterior_cardinal_vein, anterior_cerebral_vein, anterior_facial_vein, anterior_jugular_vein, anterior_vertebral_vein, appendicular_vein, arcuate_vein_of_the_kidney, auricular_vein, axillary_vein, azygos_vein, azygous_vein, basal_vein, basilic_vein, basivertebral_vein, brachial_vein, brachiocephalic_vein, bronchial_vein, cardinal_vein, central_vein_of_retina, central_vein_of_suprarenal_gland, central_veins_of_liver, cephalic_vein, cerebellar_vein, cerebral_vein, cervical_vein, choroid_vein, ciliary_veins, circumflex_femoral_vein, circumflex_iliac_vein, circumflex_vein, clitoral_vein, colic_vein, common_cardinal_vein, common_facial_vein, common_iliac_vein, conjunctival_veins, costoaxillary_vein, cutaneous_vein, cystic_vein, deep_cervical_vein, deep_middle_cerebral_vein, deep_temporal_vein, digital_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 is internally related to artery
(subclass Vein BloodVessel) Mid-level-ontology.kif 11120-11120 Vein is a subclass of blood vessel

appearance as argument number 2
-------------------------


(subclass PulmonaryVein Vein) Mid-level-ontology.kif 11153-11153 Pulmonary vein is a subclass of 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


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