TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Insulin Hormone)	Mid-level-ontology.kif 13877-13877	Insulin is a subclass of hormone
(documentation Insulin EnglishLanguage "A Hormone secreted by the Pancreas that is used to regulate the metabolism of Carbohydrates.")	Mid-level-ontology.kif 13878-13879	Insulin is a subclass of hormone
(externalImage Insulin "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Insulincrystals.jpg")	pictureList.kif 4736-4736	Insulin is a subclass of hormone

appearance as argument number 2

(secretesSubstance Pancreas Insulin)	Mid-level-ontology.kif 13875-13875	Insulin is a secretes substance of pancreas
(termFormat EnglishLanguage Insulin "insulin")	domainEnglishFormat.kif 30303-30303	Insulin is a secretes substance of pancreas
(termFormat ChineseTraditionalLanguage Insulin "胰島素")	domainEnglishFormat.kif 30304-30304	Insulin is a secretes substance of pancreas
(termFormat ChineseLanguage Insulin "胰岛素")	domainEnglishFormat.kif 30305-30305	Insulin is a secretes substance of pancreas

consequent

(=>
    (attribute ?H DiabetesType1)
    (exists (?I)
        (and
            (instance ?I Insulin)
            (lacks ?H ?I))))

If juvenile diabetes is an attribute of X, then there exists Y such that Y is an instance of insulin and X lacks Y