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 9590-9591
(externalImage Kidney "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Kidney_PioM.png") pictureList.kif 4758-4758
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9589-9589 Kidney is a subclass of animal anatomical structure
(subclass Kidney Organ) Mid-level-ontology.kif 9588-9588 Kidney is a subclass of organ

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


(termFormat ChineseLanguage Kidney "肾") domainEnglishFormat.kif 32509-32509
(termFormat ChineseTraditionalLanguage Kidney "腎") domainEnglishFormat.kif 32508-32508
(termFormat EnglishLanguage Kidney "kidney") domainEnglishFormat.kif 32507-32507

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


(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2564-2571


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