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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Softwood
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 子類 Softwood and WoodProduct

appearance as argument number 2
-------------------------


(disjoint Hardwood Softwood) Economy.kif 5280-5280 不相交的 Hardwood and Softwood
(partition Hardwood Softwood) Economy.kif 5279-5279 劃分 Hardwood and Softwood
(subclass CedarWood Softwood) Economy.kif 5418-5418 子類 CedarWood and Softwood
(subclass FirWood Softwood) Economy.kif 5428-5428 子類 FirWood and Softwood
(subclass LarchWood Softwood) Economy.kif 5438-5438 子類 LarchWood and Softwood
(subclass PineWood Softwood) Economy.kif 5458-5458 子類 PineWood and Softwood
(subclass SpruceWood Softwood) Economy.kif 5448-5448 子類 SpruceWood and Softwood
(termFormat EnglishLanguage Softwood "softwood") domainEnglishFormat.kif 65513-65513

antecedent
-------------------------


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (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