Artery - Sigma Knowledge base Browser

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 11928-11930
(externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG")	pictureList.kif 4508-4508
(subclass Artery BloodVessel)	Mid-level-ontology.kif 11927-11927	Artery is a subclass of blood vessel

appearance as argument number 2

(relatedInternalConcept Vein Artery)	Mid-level-ontology.kif 11945-11945	Vein is internally related to artery
(subclass AbdominalAorta Artery)	arteries.kif 1272-1272	Abdominal aorta is a subclass of artery
(subclass AcromialArtery Artery)	arteries.kif 982-982	Acromial artery is a subclass of artery
(subclass AfferentArteriole Artery)	arteries.kif 1460-1460	Afferent arteriole is a subclass of artery
(subclass AnteriorAuricularBranchArtery Artery)	arteries.kif 723-723	Anterior auricular branch artery is a subclass of artery
(subclass AnteriorHumeralCircumflexArtery Artery)	arteries.kif 1012-1012	Anterior humeral circumflex artery is a subclass of artery
(subclass AnteriorIliacArteryDivision Artery)	arteries.kif 1558-1558	Anterior iliac artery division is a subclass of artery
(subclass AnteriorInterosseousArtery Artery)	arteries.kif 1165-1165	Anterior interosseous artery is a subclass of artery
(subclass AnteriorInterventricularArtery Artery)	arteries.kif 63-63	Anterior interventricular artery is a subclass of artery
(subclass AnteriorInterventricularDiagonalArtery Artery)	arteries.kif 75-75	Anterior interventricular diagonal artery is a subclass of artery
(subclass AnteriorInterventricularSeptalArtery Artery)	arteries.kif 69-69	Anterior interventricular septal artery is a subclass of artery
(subclass AnteriorLateralMalleolarArtery Artery)	arteries.kif 1881-1881	Anterior lateral malleolar artery is a subclass of artery
(subclass AnteriorMedialMalleolarArtery Artery)	arteries.kif 1876-1876	Anterior medial malleolar artery is a subclass of artery
(subclass AnteriorSpinalArtery Artery)	arteries.kif 787-787	Anterior spinal artery is a subclass of artery
(subclass AnteriorTibialArtery Artery)	arteries.kif 1859-1859	Anterior tibial artery is a subclass of artery
(subclass AnteriorTibialRecurrentArtery Artery)	arteries.kif 1869-1869	Anterior tibial recurrent artery is a subclass of artery
(subclass AnteriorUlnarRecurrentArtery Artery)	arteries.kif 1144-1144	Anterior ulnar recurrent artery is a subclass of artery
(subclass AnterolateralCentralArtery Artery)	arteries.kif 357-357	Anterolateral central artery is a subclass of artery
(subclass Aorta Artery)	arteries.kif 1221-1221	Aorta is a subclass of artery
(subclass AorticArch Artery)	arteries.kif 114-114	Aortic arch is a subclass of artery
(subclass ArcuateArtery Artery)	arteries.kif 1450-1450	Arcuate artery is a subclass of artery
(subclass AscendingAorta Artery)	arteries.kif 5-5	Ascending aorta is a subclass of artery
(subclass AscendingPharyngealArtery Artery)	arteries.kif 420-420	Ascending pharyngeal artery is a subclass of artery
(subclass AxillaryArtery Artery)	arteries.kif 965-965	Axillary artery is a subclass of artery
(subclass BasilarArtery Artery)	arteries.kif 811-811	Basilar artery is a subclass of 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 1943-1943

The number 1 argument of suppliesBlood is a subclass of 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 11932-11942

If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood,
then there exists another object such that the other object is an instance of heart and the process originates at the other object

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	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
(=> (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 479-491	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
(=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V))))	Mid-level-ontology.kif 12002-12008	If an object is an instance of capillary, then there exist another object and a third object such that the other object is an instance of artery and the third object is an instance of vein and the object connects the other object and the third object

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

KB Term:			Term intersection

English Word: