TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Alga NonFloweringPlant)	Merge.kif 14726-14726	Alga is a subclass of non flowering plant
(documentation Alga EnglishLanguage "A chiefly aquatic plant that contains chlorophyll, but does not form embryos during development and lacks vascular tissue.")	Merge.kif 14727-14728	Alga is a subclass of non flowering plant
(externalImage Alga "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7d/ Laurencia.jpg/ 747px_Laurencia.jpg")	pictureList.kif 26-26	Alga is a subclass of non flowering plant

appearance as argument number 2

(disjointDecomposition NonFloweringPlant Alga Fern Moss)	Merge.kif 14722-14722	Non flowering plant is disjointly decomposed into alga, fern, and moss
(subclass Seaweed Alga)	Food.kif 3420-3420	Seaweed is a subclass of alga
(termFormat EnglishLanguage Alga "alga")	english_format.kif 1147-1147	Seaweed is a subclass of alga

antecedent

(=>
    (instance ?ALGA Alga)
    (exists (?WATER)
        (and
            (inhabits ?ALGA ?WATER)
            (instance ?WATER Water))))

If X is an instance of alga, then there exists Y such that X lives in Y and Y is an instance of water

consequent

(=>
    (instance ?LICH Lichen)
    (exists (?ALGA)
        (and
            (instance ?ALGA Alga)
            (part ?ALGA ?LICH))))

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