| 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 11486-11487 | |
| (externalImage Kidney "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Kidney_PioM.png") | pictureList.kif 4756-4756 | |
| (subclass Kidney AnimalAnatomicalStructure) | Mid-level-ontology.kif 11485-11485 | |
| (subclass Kidney VitalOrgan) | Mid-level-ontology.kif 11484-11484 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Kidney "肾") | domainEnglishFormat.kif 32544-32544 | |
| (termFormat ChineseTraditionalLanguage Kidney "腎") | domainEnglishFormat.kif 32543-32543 | |
| (termFormat EnglishLanguage Kidney "kidney") | domainEnglishFormat.kif 32542-32542 |
| consequent |
|
|
| (=> (attribute ?H Pyelonephritis) (modalAttribute (exists (?B ?K) (and (instance ?B Bacterium) (instance ?K Kidney) (part ?K ?H) (located ?B ?K))) Likely)) |
Medicine.kif 5065-5074 | |
| (=> (instance ?X Urine) (exists (?PROC ?KIDNEY) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?KIDNEY) (instance ?KIDNEY Kidney) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2096-2103 |
| statement |
|
|
| (subclass LeftKidney (BodySideFn Left Kidney)) |
Medicine.kif 2900-2900 | |
| (subclass Pyelonephritis (InflammationFn Kidney)) |
Medicine.kif 5047-5047 | |
| (subclass RightKidney (BodySideFn Right Kidney)) |
Medicine.kif 2903-2903 |
|
|
|