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 是 EvergreenTree 的 subclass

appearance as argument number 2

(subclass CedarTree Conifers)	Geography.kif 6640-6640	CedarTree 是 Conifers 的 subclass
(subclass CypressTree Conifers)	Geography.kif 6645-6645	CypressTree 是 Conifers 的 subclass
(subclass FirTree Conifers)	Geography.kif 6652-6652	FirTree 是 Conifers 的 subclass
(subclass LarchTree Conifers)	Geography.kif 6657-6657	LarchTree 是 Conifers 的 subclass
(subclass PineTree Conifers)	Geography.kif 6629-6629	松树是 Conifers 的 subclass
(subclass SpruceTree Conifers)	Geography.kif 6662-6662	SpruceTree 是 Conifers 的 subclass
(termFormat EnglishLanguage Conifers "conifers")	domainEnglishFormat.kif 64683-64683	SpruceTree 是 Conifers 的 subclass

consequent

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

Economy.kif 5750-5757