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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3381-3382
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14405-14406
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 985-985
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14404-14404	Flowering plant is a subclass of plant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14409-14409	Non flowering plant is disjoint from flowering plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6295-6295	Cactus is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9356-9356	HerbaceousPlant is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6281-6281	Succulent is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6274-6274	Vine is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9364-9364	WoodyPlant is a subclass of flowering plant
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 966-966
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1139-1139
No TPTP formula. May not be expressible in strict first order.	french_format.kif 643-643
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 174-174
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 177-177
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2327-2327
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 595-595
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 211-211
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 664-664
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 178-178

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	If a kind of object is equal to 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9525-9531	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15041-15046	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