BotanicalTree - Sigma Knowledge base Browser

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

(documentation BotanicalTree EnglishLanguage "BotanicalTree is an imprecise term for a perennial woody plant that is larger than a bush or shrub, generally understood to describe a large growth having one main trunk with few or no branches projecting from its base, a well-developed crown of foliage, and a height at maturity of at least 12 feet.")	Mid-level-ontology.kif 10806-10810
(externalImage BotanicalTree "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Sequoiadendron_giganteum_at_Kenilworth_Castle.jpg")	pictureList.kif 196-196
(subclass BotanicalTree WoodyPlant)	Mid-level-ontology.kif 10801-10801	Botanical tree is a subclass of woody plant

appearance as argument number 2

(relatedInternalConcept Timber BotanicalTree)	Economy.kif 5836-5836	Timber is internally related to botanical tree
(subclass DeciduousTree BotanicalTree)	Geography.kif 8003-8003	Deciduous tree is a subclass of botanical tree
(subclass EvergreenTree BotanicalTree)	Geography.kif 8159-8159	Evergreen tree is a subclass of botanical tree
(termFormat ChineseLanguage BotanicalTree "植物树")	domainEnglishFormat.kif 11713-11713	Evergreen tree is a subclass of botanical tree
(termFormat ChineseTraditionalLanguage BotanicalTree "植物樹")	domainEnglishFormat.kif 11712-11712	Evergreen tree is a subclass of botanical tree
(termFormat EnglishLanguage BotanicalTree "botanical tree")	domainEnglishFormat.kif 11711-11711	Evergreen tree is a subclass of botanical tree

appearance as argument number 3

(domainSubclass JankaHardnessFn 1 BotanicalTree)

Mid-level-ontology.kif 10389-10389

The number 1 argument of Janka Hardness is a subclass of botanical tree

antecedent

(=> (and (instance ?TREE BotanicalTree) (instance ?BUSH Shrub) (instance ?U UnitOfLength) (height ?TREE (MeasureFn ?TALL ?U)) (height ?BUSH (MeasureFn ?SHORT ?U))) (greaterThan ?TALL ?SHORT))	Geography.kif 7874-7883	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
(=> (instance ?X BotanicalTree) (material Wood ?X))	Mid-level-ontology.kif 10802-10804	If a corpuscular object is an instance of botanical tree, then the corpuscular object is made of wood

consequent

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WoodProduct) (subclass ?S PlantStem)) (exists (?T) (and (subclass ?T BotanicalTree) (initialPart ?S ?T))))	Economy.kif 5571-5580	If equal an object and Object made from another kind of object and the 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
(=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree))	Food.kif 2428-2430	If equal a kind of plant and plant fn cashew nut, then a kind of plant is a subclass of botanical tree
(=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree))	Food.kif 3498-3500	If equal a kind of plant and plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
(=> (instance ?B TreeBranch) (exists (?T) (and (instance ?T BotanicalTree) (part ?B ?T))))	Mid-level-ontology.kif 10816-10821	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
(=> (instance ?DESERT Desert) (not (vegetationType ?DESERT BotanicalTree)))	Geography.kif 8248-8250	If a geographic area is an instance of desert, then not botanical tree is found in the geographic area
(=> (instance ?F Felling) (hasPurpose ?F (exists (?T ?TIMB ?S) (and (instance ?T BotanicalTree) (patient ?F ?T) (result ?F ?TIMB) (instance ?TIMB Timber) (equal ?TIMB ?S) (instance ?S PlantStem) (holdsDuring (BeginFn (WhenFn ?F)) (part ?S ?T)) (holdsDuring (EndFn (WhenFn ?F)) (not (part ?S ?T)))))))	Economy.kif 5839-5858	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 equal the entityIMB and 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
(=> (instance ?FELL Felling) (exists (?C ?F ?T ?S) (and (instance ?C Cutting) (patient ?C ?T) (instance ?T BotanicalTree) (result ?C ?F) (instance ?F Falling) (patient ?F ?S) (instance ?S PlantStem) (part ?S ?T))))	Economy.kif 5809-5820	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
(=> (instance ?FIELD Field) (not (exists (?TREE) (and (instance ?TREE BotanicalTree) (located ?TREE ?FIELD)))))	Mid-level-ontology.kif 10197-10203	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
(=> (instance ?FOREST Forest) (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))	Geography.kif 7973-7975	If a geographic area is an instance of forest, then the geographic area is vegetation type pattern botanical tree for dense vegetation
(=> (instance ?FOREST RainForest) (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))	Geography.kif 7983-7985	If a geographic area is an instance of rain forest, then the geographic area is vegetation type pattern botanical tree for canopied vegetation
(=> (instance ?HARMING ForestDamage) (exists (?TREE) (and (instance ?TREE BotanicalTree) (patient ?HARMING ?TREE))))	Geography.kif 4187-4192	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
(=> (instance ?PLAIN Savanna) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 8342-8345	If a geographic area is an instance of savanna, then not botanical tree is found in the geographic area
(=> (instance ?PLAIN Steppe) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 8352-8354	If a geographic area is an instance of steppe, then not botanical tree is found in the geographic area
(=> (instance ?R Rubber) (exists (?T) (and (instance ?T BotanicalTree) (part ?R ?T))))	Mid-level-ontology.kif 10512-10517	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
(=> (instance ?RESTORE Reforestation) (exists (?TREE) (and (instance ?TREE BotanicalTree) (attribute ?TREE NonFullyFormed) (patient ?RESTORE ?TREE))))	Geography.kif 4056-4062	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

(not
(vegetationType ArcticRegion BotanicalTree))

Geography.kif 5053-5053

Not botanical tree is found in arctic region

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