Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Conifers

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 6556-6557
(subclass Conifers EvergreenTree) Geography.kif 6555-6555 ConifersEvergreenTreesubclass では %n

appearance as argument number 2

(subclass CedarTree Conifers) Geography.kif 6570-6570 CedarTreeConiferssubclass では %n
(subclass CypressTree Conifers) Geography.kif 6575-6575 CypressTreeConiferssubclass では %n
(subclass FirTree Conifers) Geography.kif 6582-6582 FirTreeConiferssubclass では %n
(subclass LarchTree Conifers) Geography.kif 6587-6587 LarchTreeConiferssubclass では %n
(subclass PineTree Conifers) Geography.kif 6559-6559 PineTreeConiferssubclass では %n
(subclass SpruceTree Conifers) Geography.kif 6592-6592 SpruceTreeConiferssubclass では %n
(termFormat EnglishLanguage Conifers "conifers") domainEnglishFormat.kif 64689-64689


        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
        (initialPart ?S Conifers) Likely))
Economy.kif 5409-5416

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners