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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kidney

Sigma KEE - 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 11268-11269
(externalImage Kidney "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Kidney_PioM.png") pictureList.kif 4757-4757
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 11267-11267 子類 and 動物解剖結構
(subclass Kidney VitalOrgan) Mid-level-ontology.kif 11266-11266 子類 and VitalOrgan

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


(termFormat ChineseLanguage Kidney "肾") domainEnglishFormat.kif 32515-32515
(termFormat ChineseTraditionalLanguage Kidney "腎") domainEnglishFormat.kif 32514-32514
(termFormat EnglishLanguage Kidney "kidney") domainEnglishFormat.kif 32513-32513

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


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

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


(subclass LeftKidney
    (BodySideFn Left Kidney))
Medicine.kif 2900-2900 子類 LeftKidney and BodySideFn and
(subclass Pyelonephritis
    (InflammationFn Kidney))
Medicine.kif 5047-5047 子類 Pyelonephritis and InflammationFn
(subclass RightKidney
    (BodySideFn Right Kidney))
Medicine.kif 2903-2903 子類 RightKidney and BodySideFn and


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