| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Softwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S Conifers) Likely)) |
Economy.kif 5750-5757 | |
| (subclass Conifers EvergreenTree) | Geography.kif 6858-6858 | |
| (subclass PineTree Conifers) | Geography.kif 6862-6862 | |
| (subclass CedarTree Conifers) | Geography.kif 6873-6873 | |
| (subclass CypressTree Conifers) | Geography.kif 6878-6878 | |
| (subclass FirTree Conifers) | Geography.kif 6885-6885 | |
| (subclass LarchTree Conifers) | Geography.kif 6890-6890 | |
| (subclass SpruceTree Conifers) | Geography.kif 6895-6895 |
|
|