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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Softwood

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

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


(disjoint Hardwood Softwood) Economy.kif 5280-5280
(partition Hardwood Softwood) Economy.kif 5279-5279
(subclass CedarWood Softwood) Economy.kif 5418-5418
(subclass FirWood Softwood) Economy.kif 5428-5428
(subclass LarchWood Softwood) Economy.kif 5438-5438
(subclass PineWood Softwood) Economy.kif 5458-5458
(subclass SpruceWood Softwood) Economy.kif 5448-5448
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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