EvergreenTree - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EvergreenTree BotanicalTree)	Geography.kif 8174-8174	Evergreen tree is a subclass of botanical tree
(documentation EvergreenTree EnglishLanguage "EvergreenTrees are BotanicalTrees that do not shed their PlantLeaf(ves).")	Geography.kif 8175-8176	Evergreen tree is a subclass of botanical tree

appearance as argument number 2

(subclass CocoaTree EvergreenTree)	Economy.kif 5034-5034	Cocoa tree is a subclass of evergreen tree
(subclass TeaPlant EvergreenTree)	Economy.kif 5056-5056	Tea plant is a subclass of evergreen tree
(disjoint DeciduousTree EvergreenTree)	Geography.kif 8014-8014	Deciduous tree is disjoint from evergreen tree
(subclass Conifer EvergreenTree)	Geography.kif 8185-8185	Conifer is a subclass of evergreen tree
(termFormat EnglishLanguage EvergreenTree "evergreen tree")	domainEnglishFormat.kif 64840-64840	Conifer is a subclass of evergreen tree

antecedent

(=>
    (and
        (instance ?T EvergreenTree)
        (instance ?L PlantLeaf))
    (not
        (sheddingLeaves ?T ?L)))

If X is an instance of evergreen tree and Y is an instance of plant leaf, then X is a Removing Y from its stems