| 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 6561-6564 | |
| (externalImage PineTree "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ Pinus_pinaster.jpg") | pictureList.kif 1903-1903 | |
| (relatedInternalConcept PineTree PineWood) | Geography.kif 6560-6560 | Pine tree is internally related to PineWood |
| (subclass PineTree Conifers) | Geography.kif 6559-6559 | Pine tree is a subclass of conifers |
| appearance as argument number 2 |
|
|
| (initialPart PineNut PineTree) | Economy.kif 4480-4480 | Every pine nut is initially part of a pine tree |
| (termFormat ChineseLanguage PineTree "松树") | domainEnglishFormat.kif 45920-45920 | Every pine nut is initially part of a pine tree |
| (termFormat ChineseTraditionalLanguage PineTree "松樹") | domainEnglishFormat.kif 45919-45919 | Every pine nut is initially part of a pine tree |
| (termFormat EnglishLanguage PineTree "pine tree") | domainEnglishFormat.kif 45918-45918 | 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 5461-5466 |
|
| (=> (instance ?FOREST BorealForest) (vegetationType ?FOREST PineTree)) |
Geography.kif 6566-6568 |
|
|
|
|