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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artery

 Sigma KEE - Artery
Artery(artery)
alveolar_artery, appendicular_artery, arcuate_artery_of_the_kidney, arteria, arteria_alveolaris, arteria_appendicularis, arteria_ascendens, arteria_auricularis, arteria_choroidea, arteria_circumflexa_femoris, arteria_circumflexa_humeri, arteria_circumflexa_ilium, arteria_circumflexa_scapulae, arteria_colica, arteria_communicans, arteria_coronaria, arteria_digitalis, arteria_epigastrica, arteria_glutes, arteria_iliaca, arteria_intercostalis, arteria_laryngea, arteria_mesenterica, arteria_metacarpea, arteria_metatarsea, arteria_musculophrenica, arteria_nutricia, arteria_palatina, arteria_pancreatica, arteria_pudenda, arteria_rectalis, arteria_subclavia, arterial, arterial_blood_vessel, arteriola, arteriolar, arteriole, artery, ascending_artery, atrial_artery, auricular_artery, capillary_artery, choroidal_artery, circle_of_Willis, circumflex_artery, circumflex_artery_of_the_thigh, circumflex_humeral_artery, circumflex_iliac_artery, circumflex_scapular_artery, colic_artery...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11104-11106
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4509-4509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11103-11103 Artery is a subclass of blood vessel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11121-11121 Vein is internally related to artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1272-1272 Abdominal aorta is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 982-982 Acromial artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1460-1460 Afferent arteriole is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 723-723 Anterior auricular branch artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1012-1012 Anterior humeral circumflex artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1558-1558 Anterior iliac artery division is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1165-1165 Anterior interosseous artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 63-63 Anterior interventricular artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 75-75 Anterior interventricular diagonal artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 69-69 Anterior interventricular septal artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1881-1881 Anterior lateral malleolar artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1876-1876 Anterior medial malleolar artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 787-787 Anterior spinal artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1859-1859 Anterior tibial artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1869-1869 Anterior tibial recurrent artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1144-1144 Anterior ulnar recurrent artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 357-357 Anterolateral central artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1221-1221 Aorta is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 114-114 Aortic arch is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 1450-1450 Arcuate artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 5-5 Ascending aorta is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 420-420 Ascending pharyngeal artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 965-965 Axillary artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1944-1944 The number 1 argument of suppliesBlood is a subclass of artery

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11108-11118

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 80-94
No TPTP formula. May not be expressible in strict first order. Medicine.kif 491-503
No TPTP formula. May not be expressible in strict first order. 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