| Cholesterol(cholesterol)
| | HDL_cholesterol, LDL_cholesterol, cholesterin, cholesterol, oxidized_LDL_cholesterol |
| appearance as argument number 1 |
|
|
| (documentation Cholesterol EnglishLanguage "A Steroid that is produced by the Liver and that is believed to be closely associated with various cardiological disorders.") | Mid-level-ontology.kif 9933-9934 | |
| (externalImage Cholesterol "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Cholesterol.png") | pictureList.kif 4602-4602 | |
| (roomTempState Cholesterol Liquid) | Mid-level-ontology.kif 33286-33286 | room temperature state cholesterol and liquid |
| (subclass Cholesterol AnimalSubstance) | Mid-level-ontology.kif 9932-9932 | Cholesterol is a subclass of animal substance |
| (subclass Cholesterol Steroid) | Mid-level-ontology.kif 9931-9931 | Cholesterol is a subclass of steroid |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Cholesterol "胆固醇") | domainEnglishFormat.kif 14691-14691 | |
| (termFormat ChineseTraditionalLanguage Cholesterol "膽固醇") | domainEnglishFormat.kif 14690-14690 | |
| (termFormat EnglishLanguage Cholesterol "cholesterol") | domainEnglishFormat.kif 14689-14689 |
| antecedent |
|
|
| (=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S)))) |
Mid-level-ontology.kif 9936-9943 |
|
|
|
|