Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Kidney
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Kidney VitalOrgan) | Mid-level-ontology.kif 12762-12762 | Kidney is a subclass of vital organ |
| (subclass Kidney AnimalAnatomicalStructure) | Mid-level-ontology.kif 12763-12763 | 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 12764-12765 | 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 2702-2709 | 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 5086-5095 | 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 2906-2906 | Left kidney is a subclass of the left of kidney |
| (subclass RightKidney (BodySideFn Right Kidney)) |
Medicine.kif 2909-2909 | Right kidney is a subclass of the right of kidney |
| (subclass Pyelonephritis (InflammationFn Kidney)) |
Medicine.kif 5068-5068 | Urosepsis is a subclass of inflammation of kidney |
|
