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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kidney

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 10774-10775
(externalImage Kidney "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Kidney_PioM.png") pictureList.kif 4758-4758
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 10773-10773 Kidney is a subclass of animal anatomical structure
(subclass Kidney VitalOrgan) Mid-level-ontology.kif 10772-10772 Kidney is a subclass of vital organ

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


(termFormat ChineseLanguage Kidney "肾") domainEnglishFormat.kif 32502-32502
(termFormat ChineseTraditionalLanguage Kidney "腎") domainEnglishFormat.kif 32501-32501
(termFormat EnglishLanguage Kidney "kidney") domainEnglishFormat.kif 32500-32500

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


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


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