TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Liver VitalOrgan)	Mid-level-ontology.kif 12916-12916	Liver is a subclass of vital organ
(subclass Liver AnimalAnatomicalStructure)	Mid-level-ontology.kif 12917-12917	Liver is a subclass of animal anatomical structure
(documentation Liver EnglishLanguage "An Organ that secretes bile and serves metabolic functions.")	Mid-level-ontology.kif 12918-12919	Liver is a subclass of animal anatomical structure
(secretesSubstance Liver Bile)	Mid-level-ontology.kif 13505-13505	Gall is a secretes substance of liver
(externalImage Liver "http://articulatesoftware.com/SUMOpictures/medical/ anatomy/ liver.png")	pictureList.kif 562-562	Gall is a secretes substance of liver

appearance as argument number 2

(termFormat EnglishLanguage Liver "liver")	domainEnglishFormat.kif 34765-34765
(termFormat ChineseTraditionalLanguage Liver "肝")	domainEnglishFormat.kif 34766-34766
(termFormat ChineseLanguage Liver "肝")	domainEnglishFormat.kif 34767-34767

consequent

(=>
    (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