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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vein
Vein(vein)
accessory_cephalic_vein, accessory_hemiazygos_vein, accessory_hemiazygous_vein, accessory_vertebral_vein, accompanying_vein, anastomotic_vein, angular_vein, anterior_cardinal_vein, anterior_cerebral_vein, anterior_facial_vein, anterior_jugular_vein, anterior_vertebral_vein, appendicular_vein, arcuate_vein_of_the_kidney, auricular_vein, axillary_vein, azygos_vein, azygous_vein, basal_vein, basilic_vein, basivertebral_vein, brachial_vein, brachiocephalic_vein, bronchial_vein, cardinal_vein, central_vein_of_retina, central_vein_of_suprarenal_gland, central_veins_of_liver, cephalic_vein, cerebellar_vein, cerebral_vein, cervical_vein, choroid_vein, ciliary_veins, circumflex_femoral_vein, circumflex_iliac_vein, circumflex_vein, clitoral_vein, colic_vein, common_cardinal_vein, common_facial_vein, common_iliac_vein, conjunctival_veins, costoaxillary_vein, cutaneous_vein, cystic_vein, deep_cervical_vein, deep_middle_cerebral_vein, deep_temporal_vein, digital_vein...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11122-11123
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4845-4845
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. Mid-level-ontology.kif 11120-11120 Vein 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 11153-11153 Pulmonary vein is a subclass of vein
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61436-61436
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61435-61435
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61434-61434

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


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

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
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1078-1085


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