Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FloweringPlant
FloweringPlant(flowering plant)

appearance as argument number 1
-------------------------


(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

appearance as argument number 2
-------------------------


(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

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners