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 9090-9094
(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 9085-9085

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


(relatedInternalConcept Timber BotanicalTree) Economy.kif 4504-4504
(subclass PineTree BotanicalTree) Geography.kif 5911-5911
(subclass WillowTree BotanicalTree) Mid-level-ontology.kif 9107-9107
(termFormat EnglishLanguage BotanicalTree "botanical tree") domainEnglishFormat.kif 2374-2374

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


(=>
    (and
        (instance ?TREE BotanicalTree)
        (instance ?BUSH Shrub)
        (height ?TREE ?TALL)
        (height ?BUSH ?SHORT))
    (greaterThan ?TALL ?SHORT))
Geography.kif 5844-5850
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))
Mid-level-ontology.kif 9086-9088

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


(=>
    (instance ?B TreeBranch)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?B ?T))))
Mid-level-ontology.kif 9100-9105
(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))
Geography.kif 5959-5961
(=>
    (instance ?FIELD Field)
    (not
        (exists (?TREE)
            (and
                (instance ?TREE BotanicalTree)
                (located ?TREE ?FIELD)))))
Mid-level-ontology.kif 8669-8674
(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))
Geography.kif 5888-5890
(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 5898-5900
(=>
    (instance ?HARMING ForestDamage)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (patient ?HARMING ?TREE))))
Geography.kif 2647-2652
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6019-6021
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6028-6030
(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))
Mid-level-ontology.kif 8919-8924
(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))
Geography.kif 2517-2523