Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  BotanicalTree

 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
-------------------------


(subclass BotanicalTree WoodyPlant) Mid-level-ontology.kif 10969-10969 Botanical tree is a subclass of woody plant
(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 10974-10978 Botanical tree is a subclass of woody plant
(externalImage BotanicalTree "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Sequoiadendron_giganteum_at_Kenilworth_Castle.jpg") pictureList.kif 196-196 Botanical tree is a subclass of woody plant

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


(relatedInternalConcept Timber BotanicalTree) Economy.kif 5849-5849 Timber is internally related to botanical tree
(subclass DeciduousTree BotanicalTree) Geography.kif 8013-8013 Deciduous tree is a subclass of botanical tree
(subclass EvergreenTree BotanicalTree) Geography.kif 8174-8174 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
(termFormat ChineseTraditionalLanguage BotanicalTree "植物樹") domainEnglishFormat.kif 11712-11712 Evergreen tree is a subclass of botanical tree
(termFormat ChineseLanguage BotanicalTree "植物树") domainEnglishFormat.kif 11713-11713 Evergreen tree is a subclass of botanical tree

appearance as argument number 3
-------------------------


(domainSubclass JankaHardnessFn 1 BotanicalTree) Mid-level-ontology.kif 10566-10566 The number 1 argument of Janka Hardness is a subclass of botanical tree

antecedent
-------------------------


(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))		 Mid-level-ontology.kif 10970-10972 If X is an instance of botanical tree, then X is made of wood
(=>
    (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 7859-7868 If X is an instance of botanical tree, Y is an instance of shrub, Z is an instance of unit of length, the height of X is W Z(s), and the height of Y is V Z(s), then W is greater than V

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


(=>
    (instance ?FIELD Field)
    (not
        (exists (?TREE)
            (and
                (instance ?TREE BotanicalTree)
                (located ?TREE ?FIELD)))))		 Mid-level-ontology.kif 10363-10369 If X is an instance of field, then there doesn't exist Y such that Y is an instance of botanical tree and Y is located at X
(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))		 Mid-level-ontology.kif 10685-10690 If X is an instance of rubber, then there exists Y such that Y is an instance of botanical tree and X is a part of Y
(=>
    (instance ?B TreeBranch)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?B ?T))))		 Mid-level-ontology.kif 10984-10989 If X is an instance of tree branch, then there exists Y such that Y is an instance of botanical tree and X is a part of Y
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5584-5593 If equal X and Object made from Y, X is a subclass of wood product, and Y is a subclass of plant stem, then there exists Z such that Z is a subclass of botanical tree and every Y is initially part of a Z
(=>
    (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 5822-5833 If X is an instance of felling, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of cutting (3) W is a patient of Y (4) W is an instance of botanical tree (5) Z is a result of Y (6) Z is an instance of falling (7) V is a patient of Z (8) V is an instance of plant stem (9) V is a part of W
(=>
    (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 5853-5872 If X is an instance of felling, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of botanical tree (3) Y is a patient of X (4) Z is a result of X (5) Z is an instance of timber (6) equal Z (7) W (8) W is an instance of plant stem (9) W is a part of Y holds during the beginning of the time of existence of X (10) W is not a part of Y holds during the end of the time of existence of X
(=>
    (equal ?P
        (PlantFn CashewNut))
    (subclass ?P BotanicalTree))		 Food.kif 2441-2443 If equal X and plant fn cashew nut, then X is a subclass of botanical tree
(=>
    (equal ?P
        (PlantFn TamarindFruit))
    (subclass ?P BotanicalTree))		 Food.kif 3526-3528 If equal X and plant fn tamarind fruit, then X is a subclass of botanical tree
(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))		 Geography.kif 4024-4030 If X is an instance of reforestation, then there exists Y such that Y is an instance of botanical tree, non fully formed is an attribute of Y, and Y is a patient of X
(=>
    (instance ?HARMING ForestDamage)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (patient ?HARMING ?TREE))))		 Geography.kif 4155-4160 If X is an instance of forest damage, then there exists Y such that Y is an instance of botanical tree and Y is a patient of X
(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))		 Geography.kif 7983-7985 If X is an instance of forest, then X is vegetation type pattern botanical tree for dense vegetation
(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))		 Geography.kif 7993-7995 If X is an instance of rain forest, then X is vegetation type pattern botanical tree for canopied vegetation
(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))		 Geography.kif 8263-8265 If X is an instance of desert, then botanical tree is found in X
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 8357-8360 If X is an instance of savanna, then botanical tree is found in X
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 8367-8369 If X is an instance of steppe, then botanical tree is found in X