TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Shrub WoodyPlant)	Geography.kif 7854-7854	Shrub is a subclass of woody plant
(documentation Shrub EnglishLanguage "A Shrub is the class of low, perennial, typically multi_stemmed woody plants, called shrubs or bushes.[Wikipedia]")	Geography.kif 7855-7856	Shrub is a subclass of woody plant
(externalImage Shrub "http://farm1.static.flickr.com/14/19189355_8de6c93685_m.jpg")	pictureList.kif 1006-1006	Shrub is a subclass of woody plant

appearance as argument number 2

(subclass TeaTree Shrub)	Economy.kif 4884-4884	Tea tree is a subclass of shrub
(subclass CoffeePlant Shrub)	Economy.kif 4931-4931	Coffee plant is a subclass of shrub
(subclass TeaPlant Shrub)	Economy.kif 5057-5057	Tea plant is a subclass of shrub
(subclass Lilac Shrub)	Geography.kif 7870-7870	Lilac is a subclass of shrub
(termFormat EnglishLanguage Shrub "shrub")	domainEnglishFormat.kif 52875-52875	Lilac is a subclass of shrub
(termFormat ChineseTraditionalLanguage Shrub "灌木")	domainEnglishFormat.kif 52876-52876	Lilac is a subclass of shrub
(termFormat ChineseLanguage Shrub "灌木")	domainEnglishFormat.kif 52877-52877	Lilac is a subclass of shrub

antecedent

(=>
    (and
        (instance ?TREE BotanicalTree)
        (instance ?BUSH Shrub)
        (instance ?U UnitOfLength)
        (height ?TREE
            (MeasureFn ?TALL ?U))
        (height ?BUSH
            (MeasureFn ?SHORT ?U)))
    (greaterThan ?TALL ?SHORT))

If X is an instance of botanical tree, Y is an instance of shrub, Z is an instance of unit of length, the height of X is W Z(s), and the height of Y is V Z(s), then W is greater than V

consequent

(=> (equal ?P (PlantFn Blueberry)) (subclass ?P Shrub))	Food.kif 2230-2232	If equal X and plant fn blueberry, then X is a subclass of shrub
(=> (instance ?PLAIN Veldt) (vegetationTypePattern ?PLAIN Shrub ScatteredVegetation))	Geography.kif 8387-8389	If X is an instance of veldt, then X is vegetation type pattern shrub for scattered vegetation