| appearance as argument number 1 |
|
|
| (documentation PineTree EnglishLanguage "Pines are coniferous BotanicalTrees of the genus Pinus, in the family Pinaceae. They are evergreens, with needle- shaped leaves and propagate by dropping pine cones, which contains seeds. (from Wikipedia)") | Geography.kif 6629-6632 | |
| (externalImage PineTree "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ Pinus_pinaster.jpg") | pictureList.kif 1902-1902 | |
| (relatedInternalConcept PineTree PineWood) | Geography.kif 6628-6628 | Pine tree is internally related to PineWood |
| (subclass PineTree Conifers) | Geography.kif 6627-6627 | Pine tree is a subclass of conifers |
| appearance as argument number 2 |
|
|
| (initialPart PineNut PineTree) | Economy.kif 4695-4695 | Every pine nut is initially part of a pine tree |
| (termFormat ChineseLanguage PineTree "松树") | domainEnglishFormat.kif 45913-45913 | Every pine nut is initially part of a pine tree |
| (termFormat ChineseTraditionalLanguage PineTree "松樹") | domainEnglishFormat.kif 45912-45912 | Every pine nut is initially part of a pine tree |
| (termFormat EnglishLanguage PineTree "pine tree") | domainEnglishFormat.kif 45911-45911 | Every pine nut is initially part of a pine tree |
| consequent |
|
|
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PineWood) (subclass ?S PlantStem)) (initialPart ?S PineTree)) |
Economy.kif 5676-5681 |
|
| (=> (instance ?FOREST BorealForest) (vegetationType ?FOREST PineTree)) |
Geography.kif 6634-6636 |
|
|
|
|