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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Softwood

appearance as argument number 1

(documentation Softwood EnglishLanguage "Softwood is made from logs of gymnosperm trees, mainly from Conifers.") Economy.kif 5406-5407
(subclass Softwood WoodProduct) Economy.kif 5405-5405 SoftwoodWoodProductsubclass では %n

appearance as argument number 2

(disjoint Hardwood Softwood) Economy.kif 5280-5280 HardwoodSoftwooddisjoint では %n
(partition Hardwood Softwood) Economy.kif 5279-5279 HardwoodSoftwoodexhaustively partitioned %n
(subclass CedarWood Softwood) Economy.kif 5418-5418 CedarWoodSoftwoodsubclass では %n
(subclass FirWood Softwood) Economy.kif 5428-5428 FirWoodSoftwoodsubclass では %n
(subclass LarchWood Softwood) Economy.kif 5438-5438 LarchWoodSoftwoodsubclass では %n
(subclass PineWood Softwood) Economy.kif 5458-5458 PineWoodSoftwoodsubclass では %n
(subclass SpruceWood Softwood) Economy.kif 5448-5448 SpruceWoodSoftwoodsubclass では %n
(termFormat EnglishLanguage Softwood "softwood") domainEnglishFormat.kif 65513-65513


        (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