FloweringPlant - Sigma Knowledge base Browser

consequent

(=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT)))))	Merge.kif 15216-15221	If X is an instance of seed, then there exist Y, Z such that Y is an instance of flowering plant, and X is a part of Y holds during Z
(=> (instance ?FLOWER Flower) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?FLOWER ?PLANT)))))	Mid-level-ontology.kif 10894-10900	If X is an instance of flower, then there exist Y, Z such that Y is an instance of flowering plant, and X is a part of Y holds during Z
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P))))	Economy.kif 4865-4876	If equal X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z

(subclass FloweringPlant Plant)	Merge.kif 14579-14579	Flowering plant is a subclass of plant
(documentation FloweringPlant EnglishLanguage "A Plant that produces seeds and flowers. This class includes trees, shrubs, herbs, and flowers.")	Merge.kif 14580-14581	Flowering plant is a subclass of plant
(externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0")	pictureList.kif 985-985	Flowering plant is a subclass of plant

(disjoint NonFloweringPlant FloweringPlant)	Merge.kif 14584-14584	Non flowering plant is disjoint from flowering plant
(subclass HerbaceousPlant FloweringPlant)	Mid-level-ontology.kif 10726-10726	Herbaceous plant is a subclass of flowering plant
(subclass WoodyPlant FloweringPlant)	Mid-level-ontology.kif 10734-10734	Woody plant is a subclass of flowering plant
(subclass Vine FloweringPlant)	Geography.kif 7895-7895	Vine is a subclass of flowering plant
(subclass Succulent FloweringPlant)	Geography.kif 7902-7902	Succulent is a subclass of flowering plant
(subclass Cactus FloweringPlant)	Geography.kif 7916-7916	Cactus is a subclass of flowering plant
(subclass Hops FloweringPlant)	Society.kif 1145-1145	Hops is a subclass of flowering plant
(subclass Herb FloweringPlant)	Society.kif 1315-1315	Herb is a subclass of flowering plant
(termFormat EnglishLanguage FloweringPlant "flowering plant")	english_format.kif 1139-1139	Herb is a subclass of flowering plant