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 子類 動脈 and 血管

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


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

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 域子類 suppliesBlood, 1 and 動脈

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