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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Urethra
Urethra(urethra)

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


(connectedBodyPartTypes Urethra Bladder Human) Anatomy.kif 1548-1548 connectedBodyPartTypes urethra, bladder and human
(documentation Urethra EnglishLanguage "The urethra is a tube that connects the urinary ladder to the urinary meatus for the removal of Urine from the body of both females and males. In human females and other Primates, the urethra connects to the urinary meatus above the Vagina, whereas in Marsupials, the female's urethra empties into the urogenital sinus. Females use their urethra only for Urination, but males use their urethra for both urination and ejaculation. The external urethral sphincter is a striated muscle that allows voluntary control over urination. The internal sphincter, formed by the involuntary smooth Muscles lining the bladder neck and urethra, receives its Nerve supply by the sympathetic division of the autonomic nervous system. The internal sphincter is present both in males and females. [from Wikipedia]") Anatomy.kif 1537-1545 connectedBodyPartTypes urethra, bladder and human
(externalImage Urethra "https://upload.wikimedia.org/wikipedia/commons/3/ 30/ Urinary_system.svg") Anatomy.kif 1547-1547 connectedBodyPartTypes urethra, bladder and human
(subclass Urethra BodyCavity) Anatomy.kif 1535-1535 Urethra is a subclass of body cavity
(subclass Urethra BodyOriface) Anatomy.kif 1536-1536 Urethra is a subclass of BodyOriface

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


(termFormat EnglishLanguage Urethra "urethra") Anatomy.kif 1546-1546

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


(=>
    (instance ?U Urethra)
    (hasPurpose ?U
        (exists (?UR)
            (and
                (instance ?UR Urination)
                (instrument ?UR ?U)))))
Anatomy.kif 1550-1556


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