| Kidney(kidney)
|
| appearance as argument number 1 |
|
| (subclass Kidney VitalOrgan) | Mid-level-ontology.kif 12659-12659 | Kidney is a subclass of vital organ |
| (subclass Kidney AnimalAnatomicalStructure) | Mid-level-ontology.kif 12660-12660 | Kidney is a subclass of animal anatomical structure |
| (documentation Kidney EnglishLanguage "An Organ that separates Urine from other BodySubstances and passes it to the Bladder.") | Mid-level-ontology.kif 12661-12662 | Kidney is a subclass of animal anatomical structure |
| (externalImage Kidney "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Kidney_PioM.png") | pictureList.kif 4756-4756 | Kidney is a subclass of animal anatomical structure |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?X Urine) (exists (?PROC ?KIDNEY) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?KIDNEY) (instance ?KIDNEY Kidney) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2584-2591 | If X is an instance of urine, then there exist Y, Z such that Y is an instance of physiologic process, Z is an instrument for Y, Z is an instance of kidney, and X is a result of Y |
| (=> (attribute ?H Pyelonephritis) (modalAttribute (exists (?B ?K) (and (instance ?B Bacterium) (instance ?K Kidney) (part ?K ?H) (located ?B ?K))) Likely)) |
Medicine.kif 5048-5057 | If urosepsis is an attribute of X, then the statement there exist Y, Z such that Y is an instance of bacterium, Z is an instance of kidney, Z is a part of X, and Y is located at Z has the modal force of likely |
| statement |
|
|
| (subclass LeftKidney (BodySideFn Left Kidney)) |
Medicine.kif 2888-2888 | Left kidney is a subclass of the left of kidney |
| (subclass RightKidney (BodySideFn Right Kidney)) |
Medicine.kif 2891-2891 | Right kidney is a subclass of the right of kidney |
| (subclass Pyelonephritis (InflammationFn Kidney)) |
Medicine.kif 5030-5030 | Urosepsis is a subclass of inflammation of kidney |
|
|
|