TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Alkaloid ChemicalBase)	Mid-level-ontology.kif 10002-10002	Alkaloid is a subclass of chemical base
(subclass Alkaloid PlantSubstance)	Mid-level-ontology.kif 10003-10003	Alkaloid is a subclass of plant substance
(subclass Alkaloid BiologicallyActiveSubstance)	Mid-level-ontology.kif 10004-10004	Alkaloid is a subclass of biologically active substance
(documentation Alkaloid EnglishLanguage "A ChemicalBase found in Plants that has physiological and psychological effects.")	Mid-level-ontology.kif 10005-10006	Alkaloid is a subclass of biologically active substance
(roomTempState Alkaloid Liquid)	Mid-level-ontology.kif 34032-34032	room temperature state alkaloid and liquid
(externalImage Alkaloid "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ Caffeine.png")	pictureList.kif 4488-4488	room temperature state alkaloid and liquid

appearance as argument number 2

(termFormat EnglishLanguage Alkaloid "alkaloid")	domainEnglishFormat.kif 6527-6527
(termFormat ChineseTraditionalLanguage Alkaloid "生物鹼")	domainEnglishFormat.kif 6528-6528
(termFormat ChineseLanguage Alkaloid "生物碱")	domainEnglishFormat.kif 6529-6529

antecedent

(=>
    (instance ?A Alkaloid)
    (exists (?N)
        (and
            (instance ?N Nitrogen)
            (part ?N ?A))))

If X is an instance of alkaloid, then there exists Y such that Y is an instance of nitrogen and Y is a part of X

consequent

(=>
    (instance ?O Opium)
    (exists (?A)
        (and
            (instance ?A Alkaloid)
            (part ?A ?O))))

If X is an instance of opium, then there exists Y such that Y is an instance of alkaloid and Y is a part of X