Conifers - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Conifers EnglishLanguage "Conifers are a group of cone_bearing seed plants, a subset of gymnosperms. They make up the division Pinophyta, also known as Coniferophyta or Coniferae.[Wikipedia]")	Geography.kif 6626-6627
(subclass Conifers EvergreenTree)	Geography.kif 6625-6625	Conifers is a subclass of evergreen tree

appearance as argument number 2

(subclass CedarTree Conifers)	Geography.kif 6640-6640	Cedar tree is a subclass of conifers
(subclass CypressTree Conifers)	Geography.kif 6645-6645	Cypress tree is a subclass of conifers
(subclass FirTree Conifers)	Geography.kif 6652-6652	Fir tree is a subclass of conifers
(subclass LarchTree Conifers)	Geography.kif 6657-6657	Larch tree is a subclass of conifers
(subclass PineTree Conifers)	Geography.kif 6629-6629	Pine tree is a subclass of conifers
(subclass SpruceTree Conifers)	Geography.kif 6662-6662	Spruce tree is a subclass of conifers
(termFormat EnglishLanguage Conifers "conifers")	domainEnglishFormat.kif 64712-64712	Spruce tree is a subclass of conifers

consequent

(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S Conifers) Likely))

Economy.kif 5750-5757