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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FloweringPlant

Sigma KEE - FloweringPlant
FloweringPlant

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 13402-13403
(externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0") pictureList.kif 986-986
(subclass FloweringPlant Plant) Merge.kif 13401-13401

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


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

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 13999-14004


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

Show without tree


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