TreeView Knowledge Base Browser - BotanicalTree

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BotanicalTree

BotanicalTree(botanical tree)

Acrocarpus_fraxinifolius, Adenanthera_pavonina, Aegiceras_majus, African_sandalwood, African_walnut, Alstonia_scholaris, American_olive, American_turkey_oak, American_white_oak, Andaman_marble, Arizona_white_oak, Australian_nettle, Australian_nettle_tree, Avicennia_officinalis, Azadirachta_indica, Baphia_nitida, Barbados_pride, Bombacaceae, Bombax, Bombax_ceiba, Bombax_malabarica, Brachystegia_speciformis, Brazilian_pepper_tree, Brisbane_quandong, Brya_ebenus, Burma_padauk, Burmese_rosewood, Butea_frondosa, Butea_monosperma, Caesalpinia_bonduc, Caesalpinia_bonducella, Caesalpinia_coriaria, Caesalpinia_echinata, Caesalpinia_ferrea, California_black_oak, California_live_oak, California_white_oak, Calocarpum_zapota, Calophyllum_calaba, Calophyllum_candidissimum, Calophyllum_longifolium, Calycophyllum_candidissimum, Caryocar_nuciferum, Castanea_chrysophylla, Castanopsis_chrysophylla, Ceratopetalum_gummiferum, Cercidium_floridum, Ceylon_gooseberry, China_tree, Chinese_cork_oak...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9483-9487
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 196-196
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9478-9478	Botanical tree is a subclass of WoodyPlant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5499-5499	Timber is internally related to botanical tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6388-6388	Deciduous tree is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6544-6544	Evergreen tree is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11705-11705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11704-11704
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11703-11703

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6259-6268	If a self connected object is an instance of botanical tree and another self connected object is an instance of shrub and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9479-9481	If a corpuscular object is an instance of botanical tree, then the corpuscular object is made of wood

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree 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.	Food.kif 2421-2423	If a kind of plant is equal to plant fn cashew nut, then a kind of plant is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Food.kif 3489-3491	If a kind of plant is equal to plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9493-9498	If an object is an instance of tree branch, then there exists another object such that the other object is an instance of botanical tree and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6633-6635	If a geographic area is an instance of desert, then not botanical tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5502-5521	If a physical is an instance of felling, then the physical has the purpose there exist an entity, the entityIMB and a third entity such that the entity is an instance of botanical tree and the entity is a patient of the physical and the entityIMB is a result of the physical and the entityIMB is an instance of timber and the entityIMB is equal to the third entity and the third entity is an instance of plant stem and the third entity is a part of the entity holds during the beginning of the time of existence of the physical and the third entity is not a part of the entity holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	If an entity is an instance of felling, then there exist a process, another process,, , an object and another object such that the process is an instance of cutting and the object is a patient of the process and the object is an instance of botanical tree and the other process is a result of the process and the other process is an instance of falling and the other object is a patient of the other process and the other object is an instance of plant stem and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8996-9002	If an object is an instance of field, then there doesn't exist a physical such that the physical is an instance of botanical tree and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6358-6360	If a geographic area is an instance of forest, then the geographic area is vegetation type pattern botanical tree for dense vegetation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6368-6370	If a geographic area is an instance of rain forest, then the geographic area is vegetation type pattern botanical tree for canopied vegetation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2719-2724	If a process is an instance of forest damage, then there exists an entity such that the entity is an instance of botanical tree and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6693-6696	If a geographic area is an instance of savanna, then not botanical tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6703-6705	If a geographic area is an instance of steppe, then not botanical tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9188-9193	If an object is an instance of rubber, then there exists another object such that the other object is an instance of botanical tree and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2588-2594	If a process is an instance of reforestation, then there exists an object such that the object is an instance of botanical tree and non fully formed is an attribute of the object and the object is a patient of the process

statement

No TPTP formula. May not be expressible in strict first order.

Geography.kif 3585-3585

Not botanical tree is found in arctic region

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