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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9701-9705
(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 9696-9696

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


(relatedInternalConcept Timber BotanicalTree) Economy.kif 5614-5614
(subclass DeciduousTree BotanicalTree) Geography.kif 6363-6363
(subclass EvergreenTree BotanicalTree) Geography.kif 6519-6519
(termFormat ChineseLanguage BotanicalTree "植物树") domainEnglishFormat.kif 11716-11716
(termFormat ChineseTraditionalLanguage BotanicalTree "植物樹") domainEnglishFormat.kif 11715-11715
(termFormat EnglishLanguage BotanicalTree "botanical tree") domainEnglishFormat.kif 11714-11714

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 6234-6243
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))		 Mid-level-ontology.kif 9697-9699

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5350-5359
(=>
    (equal ?P
        (PlantFn CashewNut))
    (subclass ?P BotanicalTree))		 Food.kif 2421-2423
(=>
    (equal ?P
        (PlantFn TamarindFruit))
    (subclass ?P BotanicalTree))		 Food.kif 3489-3491
(=>
    (instance ?B TreeBranch)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?B ?T))))		 Mid-level-ontology.kif 9711-9716
(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))		 Geography.kif 6608-6610
(=>
    (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 5617-5636
(=>
    (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 5587-5598
(=>
    (instance ?FIELD Field)
    (not
        (exists (?TREE)
            (and
                (instance ?TREE BotanicalTree)
                (located ?TREE ?FIELD)))))		 Mid-level-ontology.kif 9214-9220
(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))		 Geography.kif 6333-6335
(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))		 Geography.kif 6343-6345
(=>
    (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 6668-6671
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 6678-6680
(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))		 Mid-level-ontology.kif 9406-9411
(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))		 Geography.kif 2576-2582