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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artery

Sigma KEE - Artery
Artery(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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9481-9482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4510-4510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9480-9480 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 9497-9497 Vein is internally related to artery
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9513-9513 Pulmonary artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8519-8519
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8518-8518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8517-8517

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


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

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


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


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