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 10812-10816 | |
(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 10807-10807 | Botanical tree is a subclass of woody plant |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Timber BotanicalTree) | Economy.kif 5841-5841 | Timber is internally related to botanical tree |
(subclass DeciduousTree BotanicalTree) | Geography.kif 6521-6521 | Deciduous tree is a subclass of botanical tree |
(subclass EvergreenTree BotanicalTree) | Geography.kif 6677-6677 | Evergreen tree is a subclass of botanical tree |
(termFormat ChineseLanguage BotanicalTree "植物树") | domainEnglishFormat.kif 11714-11714 | Evergreen tree is a subclass of botanical tree |
(termFormat ChineseTraditionalLanguage BotanicalTree "植物樹") | domainEnglishFormat.kif 11713-11713 | Evergreen tree is a subclass of botanical tree |
(termFormat EnglishLanguage BotanicalTree "botanical tree") | domainEnglishFormat.kif 11712-11712 | Evergreen tree is a subclass of botanical tree |
appearance as argument number 3 |
![]() |
(domainSubclass JankaHardnessFn 1 BotanicalTree) | Mid-level-ontology.kif 10394-10394 | The number 1 argument of Janka Hardness is a subclass of botanical tree |
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 6392-6401 |
|
(=> (instance ?X BotanicalTree) (material Wood ?X)) |
Mid-level-ontology.kif 10808-10810 |
|
consequent |
![]() |
statement |
![]() |
(not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3573-3573 | Not botanical tree is found in arctic region |
![]() |
![]() |