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 14405-14406
(externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0") pictureList.kif 985-985
(subclass FloweringPlant Plant) Merge.kif 14404-14404 顕花植物植物subclass では %n

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


(disjoint NonFloweringPlant FloweringPlant) Merge.kif 14409-14409 隠花植物顕花植物disjoint では %n
(subclass Cactus FloweringPlant) Geography.kif 6295-6295 Cactus顕花植物subclass では %n
(subclass HerbaceousPlant FloweringPlant) Mid-level-ontology.kif 9356-9356 HerbaceousPlant顕花植物subclass では %n
(subclass Succulent FloweringPlant) Geography.kif 6281-6281 Succulent顕花植物subclass では %n
(subclass Vine FloweringPlant) Geography.kif 6274-6274 Vine顕花植物subclass では %n
(subclass WoodyPlant FloweringPlant) Mid-level-ontology.kif 9364-9364 WoodyPlant顕花植物subclass では %n
(termFormat ChineseLanguage FloweringPlant "开花植物") chinese_format.kif 966-966
(termFormat EnglishLanguage FloweringPlant "flowering plant") english_format.kif 1139-1139
(termFormat FrenchLanguage FloweringPlant "plant florissante") french_format.kif 643-643
(termFormat Hindi FloweringPlant "pushpI vanaspati") terms-hindi.txt 174-174
(termFormat ItalianLanguage FloweringPlant "PiantaDaFiore") terms-it.txt 177-177
(termFormat JapaneseLanguage FloweringPlant "顕花植物") japanese_format.kif 2327-2327
(termFormat PortugueseLanguage FloweringPlant "Planta Florindo") portuguese_format.kif 595-595
(termFormat cz FloweringPlant "flowering plant") terms-cz.txt 211-211
(termFormat ro FloweringPlant "plantã cu flori") relations-ro.kif 664-664
(termFormat tg FloweringPlant "Halamang namumulaklak") terms-tg.txt 178-178

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


(=>
    (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 4532-4543
(=>
    (instance ?FLOWER Flower)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?FLOWER ?PLANT)))))
Mid-level-ontology.kif 9525-9531
(=>
    (instance ?SEED Seed)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?SEED ?PLANT)))))
Merge.kif 15041-15046


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