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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Artery
abdominal_aorta, alveolar_artery, angular_artery, anterior_cerebral_artery, anterior_meningeal_artery, anterior_temporal_artery, aorta, aortic_arch, appendicular_artery, arcuate_artery, arcuate_artery_of_the_kidney, areteria_cervicalis, arteria, arteria_alveolaris, arteria_alveolaris_inferior, arteria_alveolaris_superior, arteria_angularis, arteria_appendicularis, arteria_arcuata, arteria_ascendens, arteria_auricularis, arteria_axillaris, arteria_basilaris, arteria_buccalis, arteria_bulbi_penis, arteria_bulbi_vestibuli, arteria_carotis, arteria_celiaca, arteria_centralis_retinae, arteria_cerebelli, arteria_cerebri, arteria_choroidea, arteria_ciliaris, arteria_circumflexa_femoris, arteria_circumflexa_humeri, arteria_circumflexa_ilium, arteria_circumflexa_scapulae, arteria_colica, arteria_communicans, arteria_coronaria, arteria_cystica, arteria_digitalis, arteria_epigastrica, arteria_ethmoidalis, arteria_facialis, arteria_femoralis, arteria_gastrica, arteria_gastrica_breves, arteria_gastrica_sinistra, arteria_glutes...

appearance as argument number 1

(documentation Artery EnglishLanguage "Any BloodVessel which transfers Blood from the Heart to the extremities of the body.") Mid-level-ontology.kif 10607-10608
(externalImage Artery " Maxillary_artery.PNG") pictureList.kif 4510-4510
(subclass Artery BloodVessel) Mid-level-ontology.kif 10606-10606 Artery is a subclass of blood vessel

appearance as argument number 2

(relatedInternalConcept Vein Artery) Mid-level-ontology.kif 10623-10623 Vein is internally related to artery
(subclass PulmonaryArtery Artery) Mid-level-ontology.kif 10639-10639 Pulmonary artery is a subclass of artery
(termFormat ChineseLanguage Artery "动脉") domainEnglishFormat.kif 8517-8517
(termFormat ChineseTraditionalLanguage Artery "動脈") domainEnglishFormat.kif 8516-8516
(termFormat EnglishLanguage Artery "artery") domainEnglishFormat.kif 8515-8515


        (instance ?ARTERY Artery)
        (instance ?TRANSFER Transfer)
        (patient ?TRANSFER ?BLOOD)
        (instrument ?TRANSFER ?ARTERY)
        (instance ?BLOOD Blood))
    (exists (?HEART)
            (instance ?HEART Heart)
            (origin ?TRANSFER ?HEART))))
Mid-level-ontology.kif 10610-10620


    (instance ?C Capillary)
    (exists (?A ?V)
            (instance ?A Artery)
            (instance ?V Vein)
            (connects ?C ?A ?V))))
Mid-level-ontology.kif 10680-10686

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