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
-------------------------


s__documentation(s__BotanicalTree,s__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 9093-9097
s__externalImage(s__BotanicalTree,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Sequoiadendron_giganteum_at_Kenilworth_Castle.jpg"')

pictureList.kif 196-196
s__instance(s__FloweringPlant,s__SetOrClass)

s__instance(s__BotanicalTree,s__SetOrClass)

s__subclass(s__BotanicalTree,s__FloweringPlant)

Mid-level-ontology.kif 9088-9088 Botanical tree is a subclass of flowering plant

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


s__relatedInternalConcept(s__Timber,s__BotanicalTree)

Economy.kif 4504-4504 Timber is internally related to botanical tree
s__instance(s__BotanicalTree,s__SetOrClass)

s__subclass(s__Okoume,s__BotanicalTree)

s__instance(s__Okoume,s__SetOrClass)

Geography.kif 5926-5926 Okoume is a subclass of botanical tree
s__instance(s__BotanicalTree,s__SetOrClass)

s__instance(s__PineTree,s__SetOrClass)

s__subclass(s__PineTree,s__BotanicalTree)

Geography.kif 5927-5927 Pine tree is a subclass of botanical tree
s__instance(s__BotanicalTree,s__SetOrClass)

s__subclass(s__WillowTree,s__BotanicalTree)

s__instance(s__WillowTree,s__SetOrClass)

Mid-level-ontology.kif 9110-9110 Willow tree is a subclass of botanical tree
s__termFormat(s__ChineseLanguage,s__BotanicalTree,'"植物树"')

domainEnglishFormat.kif 11647-11647
s__termFormat(s__ChineseTraditionalLanguage,s__BotanicalTree,'"植物樹"')

domainEnglishFormat.kif 11646-11646
s__termFormat(s__EnglishLanguage,s__BotanicalTree,'"botanical tree"')

domainEnglishFormat.kif 11645-11645

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


( ! [V__BUSH,V__TALL,V__TREE,V__SHORT] :
   ((s__instance(V__TALL,s__LengthMeasure) &
       s__instance(V__SHORT,s__LengthMeasure))
     =>
     (s__instance(V__TREE,s__BotanicalTree) &
       s__instance(V__BUSH,s__Shrub) &
       s__height(V__TREE,V__TALL)
     &
     s__height(V__BUSH,V__SHORT))
=>
s__greaterThan(V__TALL,V__SHORT)
)
)

Geography.kif 5859-5865
( ! [V__X] :
   (s__instance(V__X,s__BotanicalTree) =>
     s__material(s__Wood,V__X)
   )
)

Mid-level-ontology.kif 9089-9091

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


( ! [V__B] :
   (s__instance(V__B,s__TreeBranch) =>
     ( ? [V__T] :
       ((s__instance(V__T,s__BotanicalTree) &
           s__part(V__B,V__T))))
   )
)

Mid-level-ontology.kif 9103-9108
( ! [V__DESERT] :
   (s__instance(V__DESERT,s__Desert) =>
     ~(s__vegetationType(V__DESERT,s__BotanicalTree))
     )
   )

Geography.kif 5975-5977
( ! [V__FIELD] :
   (s__instance(V__FIELD,s__Field) =>
     ~(( ? [V__TREE] :
         ((s__instance(V__TREE,s__BotanicalTree) &
             s__located(V__TREE,V__FIELD)))))
   )
)

Mid-level-ontology.kif 8672-8677
( ! [V__FOREST] :
   (s__instance(V__FOREST,s__Forest) =>
     s__vegetationTypePattern(V__FOREST,s__BotanicalTree,s__DenseVegetation) )
   )

Geography.kif 5903-5905
( ! [V__FOREST] :
   (s__instance(V__FOREST,s__RainForest) =>
     s__vegetationTypePattern(V__FOREST,s__BotanicalTree,s__CanopiedVegetation) )
   )

Geography.kif 5913-5915
( ! [V__HARMING] :
   (s__instance(V__HARMING,s__ForestDamage) =>
     ( ? [V__TREE] :
       ((s__instance(V__TREE,s__BotanicalTree) &
           s__patient(V__HARMING,V__TREE))))
   )
)

Geography.kif 2659-2664
( ! [V__PLAIN] :
   (s__instance(V__PLAIN,s__Savanna) =>
     ~(s__vegetationType(V__PLAIN,s__BotanicalTree))
     )
   )

Geography.kif 6035-6037
( ! [V__PLAIN] :
   (s__instance(V__PLAIN,s__Steppe) =>
     ~(s__vegetationType(V__PLAIN,s__BotanicalTree))
     )
   )

Geography.kif 6044-6046
( ! [V__R] :
   (s__instance(V__R,s__Rubber) =>
     ( ? [V__T] :
       ((s__instance(V__T,s__BotanicalTree) &
           s__part(V__R,V__T))))
   )
)

Mid-level-ontology.kif 8922-8927
( ! [V__RESTORE] :
   (s__instance(V__RESTORE,s__Reforestation) =>
     ( ? [V__TREE] :
       ((s__instance(V__TREE,s__BotanicalTree) &
           s__attribute(V__TREE,s__NonFullyFormed) &
           s__patient(V__RESTORE,V__TREE))))
   )
)

Geography.kif 2529-2535