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 9053-9057
(externalImage BotanicalTree "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Sequoiadendron_giganteum_at_Kenilworth_Castle.jpg") pictureList.kif 196-196
(subclass BotanicalTree FloweringPlant) Mid-level-ontology.kif 9048-9048

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


(relatedInternalConcept Timber BotanicalTree) Economy.kif 4507-4507
(subclass Okoume BotanicalTree) Geography.kif 6182-6182
(subclass PineTree BotanicalTree) Geography.kif 6183-6183
(subclass WillowTree BotanicalTree) Mid-level-ontology.kif 9070-9070
(termFormat ChineseLanguage BotanicalTree "植物树") domainEnglishFormat.kif 11708-11708
(termFormat ChineseTraditionalLanguage BotanicalTree "植物樹") domainEnglishFormat.kif 11707-11707
(termFormat EnglishLanguage BotanicalTree "botanical tree") domainEnglishFormat.kif 11706-11706

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 6070-6079
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))		 Mid-level-ontology.kif 9049-9051

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


(=>
    (instance ?B TreeBranch)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?B ?T))))		 Mid-level-ontology.kif 9063-9068
(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))		 Geography.kif 6231-6233
(=>
    (instance ?FIELD Field)
    (not
        (exists (?TREE)
            (and
                (instance ?TREE BotanicalTree)
                (located ?TREE ?FIELD)))))		 Mid-level-ontology.kif 8573-8579
(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))		 Geography.kif 6159-6161
(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))		 Geography.kif 6169-6171
(=>
    (instance ?HARMING ForestDamage)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (patient ?HARMING ?TREE))))		 Geography.kif 2705-2710
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 6291-6293
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 6300-6302
(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))		 Mid-level-ontology.kif 8773-8778
(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))		 Geography.kif 2574-2580