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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Vein

 Sigma KEE - Vein
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 12453-12454
(externalImage Vein "http://upload.wikimedia.org/wikipedia/commons/5/51/ Great_saphenous_vein.png") pictureList.kif 4844-4844
(relatedInternalConcept Vein Artery) Mid-level-ontology.kif 12452-12452 Vein は Artery に internally 関連して
(subclass Vein BloodVessel) Mid-level-ontology.kif 12451-12451 Vein は BloodVessel の subclass では

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


(subclass PulmonaryVein Vein) Mid-level-ontology.kif 12484-12484 PulmonaryVein は Vein の subclass では
(termFormat ChineseLanguage Vein "静脉") domainEnglishFormat.kif 61430-61430 PulmonaryVein は Vein の subclass では
(termFormat ChineseTraditionalLanguage Vein "靜脈") domainEnglishFormat.kif 61429-61429 PulmonaryVein は Vein の subclass では
(termFormat EnglishLanguage Vein "vein") domainEnglishFormat.kif 61428-61428 PulmonaryVein は Vein の subclass では

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 12456-12466

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 480-492
(=>
    (instance ?C Capillary)
    (exists (?A ?V)
        (and
            (instance ?A Artery)
            (instance ?V Vein)
            (connects ?C ?A ?V))))		 Mid-level-ontology.kif 12509-12515
(=>
    (instance ?IVT IVTherapy)
    (exists (?V ?T)
        (and
            (instance ?T IVLine)
            (path ?IVT ?T)
            (instance ?V Vein)
            (destination ?IVT ?V))))		 Medicine.kif 1070-1077


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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