FloweringPlant - Sigma Knowledge base Browser

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

appearance as argument number 2

(disjoint NonFloweringPlant FloweringPlant)	Merge.kif 14562-14562	Non flowering plant is disjoint from flowering plant
(subclass Cactus FloweringPlant)	Geography.kif 6598-6598	Cactus is a subclass of flowering plant
(subclass HerbaceousPlant FloweringPlant)	Mid-level-ontology.kif 10685-10685	Herbaceous plant is a subclass of flowering plant
(subclass Succulent FloweringPlant)	Geography.kif 6584-6584	Succulent is a subclass of flowering plant
(subclass Vine FloweringPlant)	Geography.kif 6577-6577	Vine is a subclass of flowering plant
(subclass WoodyPlant FloweringPlant)	Mid-level-ontology.kif 10693-10693	Woody plant is a subclass of flowering plant
(termFormat ChineseLanguage FloweringPlant "开花植物")	chinese_format.kif 966-966	Woody plant is a subclass of flowering plant
(termFormat EnglishLanguage FloweringPlant "flowering plant")	english_format.kif 1139-1139	Woody plant is a subclass of flowering plant
(termFormat FrenchLanguage FloweringPlant "plant florissante")	french_format.kif 643-643	Woody plant is a subclass of flowering plant
(termFormat Hindi FloweringPlant "pushpI vanaspati")	terms-hindi.txt 174-174	Woody plant is a subclass of flowering plant
(termFormat ItalianLanguage FloweringPlant "PiantaDaFiore")	terms-it.txt 177-177	Woody plant is a subclass of flowering plant
(termFormat JapaneseLanguage FloweringPlant "顕花植物")	japanese_format.kif 2327-2327	Woody plant is a subclass of flowering plant
(termFormat PortugueseLanguage FloweringPlant "Planta Florindo")	portuguese_format.kif 595-595	Woody plant is a subclass of flowering plant
(termFormat cz FloweringPlant "flowering plant")	terms-cz.txt 211-211	Woody plant is a subclass of flowering plant
(termFormat de FloweringPlant "bluehende Pflanze")	terms-de.txt 470-470	Woody plant is a subclass of flowering plant
(termFormat ro FloweringPlant "plantã cu flori")	relations-ro.kif 664-664	Woody plant is a subclass of flowering plant
(termFormat tg FloweringPlant "Halamang namumulaklak")	terms-tg.txt 178-178	Woody plant is a subclass of flowering plant

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 4870-4881	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
(=> (instance ?FLOWER Flower) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?FLOWER ?PLANT)))))	Mid-level-ontology.kif 10854-10860	If an entity is an instance of flower, then there exist another entity and a time position such that the other entity is an instance of flowering plant and the entity is a part of the other entity holds during the time position
(=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT)))))	Merge.kif 15194-15199	If an entity is an instance of seed, then there exist another entity and a time position such that the other entity is an instance of flowering plant and the entity is a part of the other entity holds during the time position

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