| 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 8927-8928 | |
| (externalImage Cholesterol "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Cholesterol.png") | pictureList.kif 4602-4602 | |
| (roomTempState Cholesterol Liquid) | Mid-level-ontology.kif 31847-31847 | roomTempState cholesterol and liquid |
| (subclass Cholesterol AnimalSubstance) | Mid-level-ontology.kif 8926-8926 | Cholesterol is a subclass of animal substance |
| (subclass Cholesterol Steroid) | Mid-level-ontology.kif 8925-8925 | Cholesterol is a subclass of steroid |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Cholesterol "胆固醇") | domainEnglishFormat.kif 14687-14687 | |
| (termFormat ChineseTraditionalLanguage Cholesterol "膽固醇") | domainEnglishFormat.kif 14686-14686 | |
| (termFormat EnglishLanguage Cholesterol "cholesterol") | domainEnglishFormat.kif 14685-14685 |
| antecedent |
|
|
| (=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S)))) |
Mid-level-ontology.kif 8930-8937 |
|
|
|
|