TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Carbohydrate Nutrient)	Merge.kif 15010-15010	Carbohydrate is a subclass of nutrient
(subclass Carbohydrate CompoundSubstance)	Merge.kif 15011-15011	Carbohydrate is a subclass of compound substance
(documentation Carbohydrate EnglishLanguage "A compound of living cells and a source of energy for Animals. This class includes both simple Carbohydrates, i.e. sugars, and complex Carbohydrates, i.e. starches.")	Merge.kif 15012-15014	Carbohydrate is a subclass of compound substance
(externalImage Carbohydrate "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Alfa_d-glucose.png")	pictureList.kif 4580-4580	Carbohydrate is a subclass of compound substance

appearance as argument number 2

(subclass Cellulose Carbohydrate)	Mid-level-ontology.kif 10717-10717	Cellulose is a subclass of carbohydrate
(subclass Starch Carbohydrate)	Mid-level-ontology.kif 10720-10720	Starch is a subclass of carbohydrate
(subclass Sugar Carbohydrate)	Mid-level-ontology.kif 10724-10724	Sugar is a subclass of carbohydrate
(termFormat EnglishLanguage Carbohydrate "carbohydrate")	english_format.kif 1232-1232	Sugar is a subclass of carbohydrate

appearance as argument number 3

consequent

(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))

If X is an instance of fermentation, then there exist Y, Z such that Y is an instance of carbohydrate, Z is an instance of microorganism, Z is an instrument for X, and Y is a resource for X