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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Artery est une sous-classe de BloodVessel

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


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

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 Le nombre 1 argument de suppliesBlood est une sous-classe de Artery

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