Conifer - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Conifer EvergreenTree)	Geography.kif 8185-8185	Conifer is a subclass of evergreen tree
(documentation Conifer 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 8186-8187	Conifer is a subclass of evergreen tree

appearance as argument number 2

(subclass PineTree Conifer)	Geography.kif 8189-8189	Pine tree is a subclass of conifer
(subclass CedarTree Conifer)	Geography.kif 8200-8200	Cedar tree is a subclass of conifer
(subclass CypressTree Conifer)	Geography.kif 8205-8205	Cypress tree is a subclass of conifer
(subclass FirTree Conifer)	Geography.kif 8212-8212	Fir tree is a subclass of conifer
(subclass LarchTree Conifer)	Geography.kif 8217-8217	Larch tree is a subclass of conifer
(subclass SpruceTree Conifer)	Geography.kif 8222-8222	Spruce tree is a subclass of conifer
(termFormat EnglishLanguage Conifer "conifer")	domainEnglishFormat.kif 64692-64692	Spruce tree is a subclass of conifer

consequent

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

If equal X and Object made from Y, X is a subclass of softwood, and Y is a subclass of plant stem, then the statement every Y is initially part of a conifer has the modal force of likely