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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kidney
Kidney(kidney)
kidney

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


(documentation Kidney EnglishLanguage "An Organ that separates Urine from other BodySubstances and passes it to the Bladder.") Mid-level-ontology.kif 12617-12618
(externalImage Kidney "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Kidney_PioM.png") pictureList.kif 4756-4756
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 12616-12616 Kidney is a subclass of animal anatomical structure
(subclass Kidney VitalOrgan) Mid-level-ontology.kif 12615-12615 Kidney is a subclass of vital organ

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


(termFormat ChineseLanguage Kidney "肾") domainEnglishFormat.kif 32543-32543
(termFormat ChineseTraditionalLanguage Kidney "腎") domainEnglishFormat.kif 32542-32542
(termFormat EnglishLanguage Kidney "kidney") domainEnglishFormat.kif 32541-32541

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


(=>
    (attribute ?H Pyelonephritis)
    (modalAttribute
        (exists (?B ?K)
            (and
                (instance ?B Bacterium)
                (instance ?K Kidney)
                (part ?K ?H)
                (located ?B ?K))) Likely))
Medicine.kif 5072-5081
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2565-2572

statement
-------------------------


(subclass LeftKidney
    (BodySideFn Left Kidney))
Medicine.kif 2901-2901 Left kidney is a subclass of the left kidney
(subclass Pyelonephritis
    (InflammationFn Kidney))
Medicine.kif 5054-5054 Urosepsis is a subclass of inflammation of kidney
(subclass RightKidney
    (BodySideFn Right Kidney))
Medicine.kif 2904-2904 Right kidney is a subclass of the right kidney


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