| 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 12593-12594 | |
| (externalImage Kidney "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Kidney_PioM.png") | pictureList.kif 4756-4756 | |
| (subclass Kidney AnimalAnatomicalStructure) | Mid-level-ontology.kif 12592-12592 | Kidney is a subclass of AnimalAnatomicalStructure |
| (subclass Kidney VitalOrgan) | Mid-level-ontology.kif 12591-12591 | Kidney is a subclass of VitalOrgan |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Kidney "肾") | domainEnglishFormat.kif 32526-32526 | |
| (termFormat ChineseTraditionalLanguage Kidney "腎") | domainEnglishFormat.kif 32525-32525 | |
| (termFormat EnglishLanguage Kidney "kidney") | domainEnglishFormat.kif 32524-32524 |
| consequent |
|
|
| (=> (attribute ?H Pyelonephritis) (modalAttribute (exists (?B ?K) (and (instance ?B Bacterium) (instance ?K Kidney) (part ?K ?H) (located ?B ?K))) Likely)) |
Medicine.kif 5072-5081 |
|
| (=> (instance ?X Urine) (exists (?PROC ?KIDNEY) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?KIDNEY) (instance ?KIDNEY Kidney) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2566-2573 |
|
| statement |
|
|
| (subclass LeftKidney (BodySideFn Left Kidney)) |
Medicine.kif 2901-2901 | LeftKidney is a subclass of BodySideFn Left and Kidney |
| (subclass Pyelonephritis (InflammationFn Kidney)) |
Medicine.kif 5054-5054 | Pyelonephritis is a subclass of InflammationFn Kidney |
| (subclass RightKidney (BodySideFn Right Kidney)) |
Medicine.kif 2904-2904 | RightKidney is a subclass of BodySideFn Right and Kidney |
|
|
|