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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Judo

Sigma KEE - Urethra
Urethra

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


(connectedBodyPartTypes Urethra Bladder Human) Anatomy.kif 1548-1548
(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
(externalImage Urethra "https://upload.wikimedia.org/wikipedia/commons/3/ 30/ Urinary_system.svg") Anatomy.kif 1547-1547
(subclass Urethra BodyCavity) Anatomy.kif 1535-1535
(subclass Urethra BodyOriface) Anatomy.kif 1536-1536

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 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