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 6624-6625
(subclass Conifers EvergreenTree)	Geography.kif 6623-6623	Conifers is a subclass of evergreen tree

appearance as argument number 2

(subclass CedarTree Conifers)	Geography.kif 6638-6638	Cedar tree is a subclass of conifers
(subclass CypressTree Conifers)	Geography.kif 6643-6643	Cypress tree is a subclass of conifers
(subclass FirTree Conifers)	Geography.kif 6650-6650	Fir tree is a subclass of conifers
(subclass LarchTree Conifers)	Geography.kif 6655-6655	Larch tree is a subclass of conifers
(subclass PineTree Conifers)	Geography.kif 6627-6627	Pine tree is a subclass of conifers
(subclass SpruceTree Conifers)	Geography.kif 6660-6660	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 5619-5626