Sigma KB Term Intersection

(=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree))	Food.kif 2428-2430	If equal a kind of plant and plant fn cashew nut, then a kind of plant is a subclass of botanical tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WoodProduct) (subclass ?S PlantStem)) (exists (?T) (and (subclass ?T BotanicalTree) (initialPart ?S ?T))))	Economy.kif 5576-5585	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree and every the other kind of object is initially part of a the third kind of object
(=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree))	Food.kif 3496-3498	If equal a kind of plant and plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
(subclass BotanicalTree WoodyPlant)	Mid-level-ontology.kif 10807-10807	Botanical tree is a subclass of woody plant
(subclass DeciduousTree BotanicalTree)	Geography.kif 6691-6691	Deciduous tree is a subclass of botanical tree
(subclass EvergreenTree BotanicalTree)	Geography.kif 6847-6847	Evergreen tree is a subclass of botanical tree