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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BotanicalTree

 Sigma KEE - BotanicalTree
BotanicalTree

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 9455-9459
(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 9450-9450

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


(relatedInternalConcept Timber BotanicalTree) Economy.kif 5382-5382
(subclass DeciduousTree BotanicalTree) Geography.kif 6295-6295
(subclass EvergreenTree BotanicalTree) Geography.kif 6451-6451
(termFormat ChineseLanguage BotanicalTree "植物树") domainEnglishFormat.kif 11705-11705
(termFormat ChineseTraditionalLanguage BotanicalTree "植物樹") domainEnglishFormat.kif 11704-11704
(termFormat EnglishLanguage BotanicalTree "botanical tree") domainEnglishFormat.kif 11703-11703

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 6166-6175
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))		 Mid-level-ontology.kif 9451-9453

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5118-5127
(=>
    (equal ?P
        (PlantFn CashewNut))
    (subclass ?P BotanicalTree))		 Food.kif 1648-1650
(=>
    (equal ?P
        (PlantFn TamarindFruit))
    (subclass ?P BotanicalTree))		 Food.kif 2633-2635
(=>
    (instance ?B TreeBranch)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?B ?T))))		 Mid-level-ontology.kif 9465-9470
(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))		 Geography.kif 6540-6542
(=>
    (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 5385-5404
(=>
    (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 5355-5366
(=>
    (instance ?FIELD Field)
    (not
        (exists (?TREE)
            (and
                (instance ?TREE BotanicalTree)
                (located ?TREE ?FIELD)))))		 Mid-level-ontology.kif 8968-8974
(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))		 Geography.kif 6265-6267
(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))		 Geography.kif 6275-6277
(=>
    (instance ?HARMING ForestDamage)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (patient ?HARMING ?TREE))))		 Geography.kif 2719-2724
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 6600-6603
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 6610-6612
(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))		 Mid-level-ontology.kif 9160-9165
(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))		 Geography.kif 2588-2594