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 10812-10816
(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 10807-10807 Botanical tree is a subclass of woody plant

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


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

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


(domainSubclass JankaHardnessFn 1 BotanicalTree) Mid-level-ontology.kif 10394-10394 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 6392-6401
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))
Mid-level-ontology.kif 10808-10810

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))
Economy.kif 5576-5585
(=>
    (equal ?P
        (PlantFn CashewNut))
    (subclass ?P BotanicalTree))
Food.kif 2428-2430
(=>
    (equal ?P
        (PlantFn TamarindFruit))
    (subclass ?P BotanicalTree))
Food.kif 3496-3498
(=>
    (instance ?B TreeBranch)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?B ?T))))
Mid-level-ontology.kif 10822-10827
(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))
Geography.kif 6766-6768
(=>
    (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 5844-5863
(=>
    (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 5814-5825
(=>
    (instance ?FIELD Field)
    (not
        (exists (?TREE)
            (and
                (instance ?TREE BotanicalTree)
                (located ?TREE ?FIELD)))))
Mid-level-ontology.kif 10202-10208
(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))
Geography.kif 6491-6493
(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 6501-6503
(=>
    (instance ?HARMING ForestDamage)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (patient ?HARMING ?TREE))))
Geography.kif 2707-2712
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6859-6862
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6869-6871
(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))
Mid-level-ontology.kif 10517-10522
(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))
Geography.kif 2576-2582