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 14144-14145
(externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0") pictureList.kif 986-986
(subclass FloweringPlant Plant) Merge.kif 14143-14143 Flowering plant is a subclass of plant

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


(disjoint NonFloweringPlant FloweringPlant) Merge.kif 14148-14148 Non flowering plant is disjoint from flowering plant
(subclass Basil FloweringPlant) Food.kif 454-454 Basil is a subclass of flowering plant
(subclass BlueAgave FloweringPlant) Food.kif 913-913 BlueAgave is a subclass of flowering plant
(subclass Blueberry FloweringPlant) Food.kif 458-458 Blueberry is a subclass of flowering plant
(subclass BotanicalTree FloweringPlant) Mid-level-ontology.kif 9078-9078 Botanical tree is a subclass of flowering plant
(subclass Broccoli FloweringPlant) Food.kif 462-462 Broccoli is a subclass of flowering plant
(subclass Cactus FloweringPlant) Geography.kif 6188-6188 Cactus is a subclass of flowering plant
(subclass Celery FloweringPlant) Food.kif 492-492 Celery is a subclass of flowering plant
(subclass Chrysanthemum FloweringPlant) Economy.kif 4346-4346 Chrysanthemum is a subclass of flowering plant
(subclass Cilantro FloweringPlant) Food.kif 505-505 Cilantro is a subclass of flowering plant
(subclass CoffeePlant FloweringPlant) Mid-level-ontology.kif 21102-21102 CoffeePlant is a subclass of flowering plant
(subclass Garlic FloweringPlant) Food.kif 560-560 Garlic is a subclass of flowering plant
(subclass Grass FloweringPlant) Mid-level-ontology.kif 8971-8971 Grass is a subclass of flowering plant
(subclass Lilac FloweringPlant) Mid-level-ontology.kif 8977-8977 Lilac is a subclass of flowering plant
(subclass Mint FloweringPlant) Food.kif 648-648 Mint is a subclass of flowering plant
(subclass Mustard FloweringPlant) Food.kif 662-662 Mustard is a subclass of flowering plant
(subclass Onion FloweringPlant) Food.kif 676-676 Onion is a subclass of flowering plant
(subclass Orchid FloweringPlant) Economy.kif 4343-4343 Orchid is a subclass of flowering plant
(subclass Parsley FloweringPlant) Food.kif 696-696 Parsley is a subclass of flowering plant
(subclass Poppy FloweringPlant) Economy.kif 4337-4337 Poppy is a subclass of flowering plant
(subclass Scallion FloweringPlant) Food.kif 789-789 Scallion is a subclass of flowering plant
(subclass Sesame FloweringPlant) Food.kif 817-817 Sesame is a subclass of flowering plant
(subclass Shallot FloweringPlant) Food.kif 818-818 Shallot is a subclass of flowering plant
(subclass Shrub FloweringPlant) Geography.kif 6156-6156 Shrub is a subclass of flowering plant
(subclass Strawberry FloweringPlant) Food.kif 898-898 Strawberry 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 9128-9134
(=>
    (instance ?SEED Seed)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?SEED ?PLANT)))))
Merge.kif 14776-14781


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