Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation FloweringPlant ChineseLanguage "这是一种能开花结果的 Plant。这个类别博阿酷哦数、 灌木、花和草。") chinese_format.kif 3381-3382
(documentation FloweringPlant EnglishLanguage "A Plant that produces seeds and flowers. This class includes trees, shrubs, herbs, and flowers.") Merge.kif 13390-13391
(externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0") pictureList.kif 986-986
(subclass FloweringPlant Plant) Merge.kif 13389-13389 Flowering plant is a subclass of plant

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


(disjoint NonFloweringPlant FloweringPlant) Merge.kif 13394-13394 Non flowering plant is disjoint from flowering plant
(subclass Basil FloweringPlant) Food.kif 472-472 Basil is a subclass of flowering plant
(subclass BlueAgave FloweringPlant) Food.kif 928-928 BlueAgave is a subclass of flowering plant
(subclass Blueberry FloweringPlant) Food.kif 476-476 Blueberry is a subclass of flowering plant
(subclass BotanicalTree FloweringPlant) Mid-level-ontology.kif 9069-9069 Botanical tree is a subclass of flowering plant
(subclass Broccoli FloweringPlant) Food.kif 480-480 Broccoli is a subclass of flowering plant
(subclass Celery FloweringPlant) Food.kif 510-510 Celery is a subclass of flowering plant
(subclass Chrysanthemum FloweringPlant) Economy.kif 4193-4193 Chrysanthemum is a subclass of flowering plant
(subclass Cilantro FloweringPlant) Food.kif 523-523 Cilantro is a subclass of flowering plant
(subclass Garlic FloweringPlant) Food.kif 578-578 Garlic is a subclass of flowering plant
(subclass Grass FloweringPlant) Mid-level-ontology.kif 8975-8975 Grass is a subclass of flowering plant
(subclass Lilac FloweringPlant) Mid-level-ontology.kif 8981-8981 Lilac is a subclass of flowering plant
(subclass Mint FloweringPlant) Food.kif 663-663 Mint is a subclass of flowering plant
(subclass Mustard FloweringPlant) Food.kif 677-677 Mustard is a subclass of flowering plant
(subclass Onion FloweringPlant) Food.kif 691-691 Onion is a subclass of flowering plant
(subclass Orchid FloweringPlant) Economy.kif 4190-4190 Orchid is a subclass of flowering plant
(subclass Parsley FloweringPlant) Food.kif 711-711 Parsley is a subclass of flowering plant
(subclass Poppy FloweringPlant) Economy.kif 4184-4184 Poppy is a subclass of flowering plant
(subclass Scallion FloweringPlant) Food.kif 804-804 Scallion is a subclass of flowering plant
(subclass Sesame FloweringPlant) Food.kif 832-832 Sesame is a subclass of flowering plant
(subclass Shallot FloweringPlant) Food.kif 833-833 Shallot is a subclass of flowering plant
(subclass Shrub FloweringPlant) Geography.kif 5947-5947 Shrub is a subclass of flowering plant
(subclass Strawberry FloweringPlant) Food.kif 913-913 Strawberry is a subclass of flowering plant
(subclass Sunflower FloweringPlant) Economy.kif 4052-4052 Sunflower is a subclass of flowering plant
(subclass Tobacco FloweringPlant) Mid-level-ontology.kif 8985-8985 Tobacco is a subclass of flowering plant

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (instance ?FLOWER Flower)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?FLOWER ?PLANT)))))
Mid-level-ontology.kif 9104-9110
(=>
    (instance ?SEED Seed)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?SEED ?PLANT)))))
Merge.kif 13987-13992


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