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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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 9129-9135
(=>
    (instance ?SEED Seed)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?SEED ?PLANT)))))		 Merge.kif 13950-13955


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners