| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Softwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S Conifers) Likely)) |
Economy.kif 5409-5416 |
|
| (subclass Conifers EvergreenTree) | Geography.kif 6555-6555 | 子類 Conifers and EvergreenTree |
| (subclass PineTree Conifers) | Geography.kif 6559-6559 | 子類 松樹 and Conifers |
| (subclass CedarTree Conifers) | Geography.kif 6570-6570 | 子類 CedarTree and Conifers |
| (subclass CypressTree Conifers) | Geography.kif 6575-6575 | 子類 CypressTree and Conifers |
| (subclass FirTree Conifers) | Geography.kif 6582-6582 | 子類 FirTree and Conifers |
| (subclass LarchTree Conifers) | Geography.kif 6587-6587 | 子類 LarchTree and Conifers |
| (subclass SpruceTree Conifers) | Geography.kif 6592-6592 | 子類 SpruceTree and Conifers |
|
|