TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Cholesterol Steroid)	Mid-level-ontology.kif 10067-10067	Cholesterol is a subclass of steroid
(subclass Cholesterol AnimalSubstance)	Mid-level-ontology.kif 10068-10068	Cholesterol is a subclass of animal substance
(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 10069-10070	Cholesterol is a subclass of animal substance
(roomTempState Cholesterol Liquid)	Mid-level-ontology.kif 34047-34047	room temperature state cholesterol and liquid
(externalImage Cholesterol "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Cholesterol.png")	pictureList.kif 4602-4602	room temperature state cholesterol and liquid

appearance as argument number 2

(termFormat EnglishLanguage Cholesterol "cholesterol")	domainEnglishFormat.kif 14676-14676
(termFormat ChineseTraditionalLanguage Cholesterol "膽固醇")	domainEnglishFormat.kif 14677-14677
(termFormat ChineseLanguage Cholesterol "胆固醇")	domainEnglishFormat.kif 14678-14678

antecedent

(=>
    (instance ?S Cholesterol)
    (exists (?P ?L)
        (and
            (instance ?P BiologicalProcess)
            (eventLocated ?P ?L)
            (instance ?L Liver)
            (result ?P ?S))))

If X is an instance of cholesterol, then there exist Y, Z such that Y is an instance of biological process, Y is located at Z, Z is an instance of liver, and X is a result of Y