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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artery

Sigma KEE - Artery
Artery

appearance as argument number 1
-------------------------


(documentation Artery EnglishLanguage "Any BloodVessel which transfers Blood from the Heart to the extremities of the body. Note that there can be some variability between members of the same species in the branching of some particular arteries they have.") Mid-level-ontology.kif 11104-11106
(externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG") pictureList.kif 4509-4509
(subclass Artery BloodVessel) Mid-level-ontology.kif 11103-11103

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


(relatedInternalConcept Vein Artery) Mid-level-ontology.kif 11121-11121
(subclass AbdominalAorta Artery) arteries.kif 1272-1272
(subclass AcromialArtery Artery) arteries.kif 982-982
(subclass AfferentArteriole Artery) arteries.kif 1460-1460
(subclass AnteriorAuricularBranchArtery Artery) arteries.kif 723-723
(subclass AnteriorHumeralCircumflexArtery Artery) arteries.kif 1012-1012
(subclass AnteriorIliacArteryDivision Artery) arteries.kif 1558-1558
(subclass AnteriorInterosseousArtery Artery) arteries.kif 1165-1165
(subclass AnteriorInterventricularArtery Artery) arteries.kif 63-63
(subclass AnteriorInterventricularDiagonalArtery Artery) arteries.kif 75-75
(subclass AnteriorInterventricularSeptalArtery Artery) arteries.kif 69-69
(subclass AnteriorLateralMalleolarArtery Artery) arteries.kif 1881-1881
(subclass AnteriorMedialMalleolarArtery Artery) arteries.kif 1876-1876
(subclass AnteriorSpinalArtery Artery) arteries.kif 787-787
(subclass AnteriorTibialArtery Artery) arteries.kif 1859-1859
(subclass AnteriorTibialRecurrentArtery Artery) arteries.kif 1869-1869
(subclass AnteriorUlnarRecurrentArtery Artery) arteries.kif 1144-1144
(subclass AnterolateralCentralArtery Artery) arteries.kif 357-357
(subclass Aorta Artery) arteries.kif 1221-1221
(subclass AorticArch Artery) arteries.kif 114-114
(subclass ArcuateArtery Artery) arteries.kif 1450-1450
(subclass AscendingAorta Artery) arteries.kif 5-5
(subclass AscendingPharyngealArtery Artery) arteries.kif 420-420
(subclass AxillaryArtery Artery) arteries.kif 965-965
(subclass BasilarArtery Artery) arteries.kif 811-811

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domainSubclass suppliesBlood 1 Artery) Anatomy.kif 1944-1944

antecedent
-------------------------


(=>
    (and
        (instance ?ARTERY Artery)
        (instance ?TRANSFER Transfer)
        (patient ?TRANSFER ?BLOOD)
        (instrument ?TRANSFER ?ARTERY)
        (instance ?BLOOD Blood))
    (exists (?HEART)
        (and
            (instance ?HEART Heart)
            (origin ?TRANSFER ?HEART))))
Mid-level-ontology.kif 11108-11118

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


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