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


KB Term:  Term intersection
English Word: 

Sigma KEE - FloweringPlant
FloweringPlant(flowering plant)
Aaron's_rod, Abelmoschus, Abelmoschus_moschatus, Abies, Abies_alba, Abies_amabilis, Abies_balsamea, Abies_bracteata, Abies_concolor, Abies_fraseri, Abies_grandis, Abies_lasiocarpa, Abies_lowiana, Abies_venusta, Abronia, Abronia_elliptica, Abronia_fragrans, Abronia_latifolia, Abronia_maritima, Abronia_umbellata, Abronia_villosa, Abutilon, Abutilon_theophrasti, Abyssinian_banana, Acacia_auriculiformis, Acacia_cambegei, Acacia_catechu, Acacia_dealbata, Acacia_farnesiana, Acacia_melanoxylon, Acacia_pycnantha, Acacia_xanthophloea, Acalypha, Acalypha_virginica, Acanthaceae, Acanthocereus, Acanthocereus_pentagonus, Acanthocereus_tetragonus, Acanthus_mollis, Acer, Acer_argutum, Acer_campestre, Acer_circinatum, Acer_glabrum, Acer_japonicum, Acer_macrophyllum, Acer_negundo, Acer_negundo_Californicum, Acer_palmatum, Acer_pennsylvanicum...

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


(subclass FloweringPlant Plant) Merge.kif 14716-14716 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 14717-14718 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 14721-14721 Non flowering plant is disjoint from flowering plant
(subclass HerbaceousPlant FloweringPlant) Mid-level-ontology.kif 10848-10848 Herbaceous plant is a subclass of flowering plant
(subclass WoodyPlant FloweringPlant) Mid-level-ontology.kif 10856-10856 Woody plant is a subclass of flowering plant
(subclass Vine FloweringPlant) Geography.kif 7874-7874 Vine is a subclass of flowering plant
(subclass Succulent FloweringPlant) Geography.kif 7881-7881 Succulent is a subclass of flowering plant
(subclass Cactus FloweringPlant) Geography.kif 7895-7895 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 1143-1143 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 15337-15342 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 11016-11022 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners