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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Timber
Timber

appearance as argument number 1
-------------------------


(documentation Timber EnglishLanguage "Timber are PlantStems of felled BotanicalTrees before they are cut and processed into Lumber.") Economy.kif 5838-5839
(externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg") pictureList.kif 9477-9477
(relatedInternalConcept Timber BotanicalTree) Economy.kif 5841-5841 Timber est reli� � l'int�rieur de SUMO � BotanicalTree
(relatedInternalConcept Timber Lumber) Economy.kif 5842-5842 Timber est reli� � l'int�rieur de SUMO � Lumber
(relatedInternalConcept Timber OrganicObject) Economy.kif 5840-5840 Timber est reli� � l'int�rieur de SUMO � objet organique
(roomTempState Timber Solid) Mid-level-ontology.kif 33609-33609 roomTempState Timber and Solid
(subclass Timber WoodProduct) Economy.kif 5837-5837 Timber est une sous-classe de WoodProduct

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


(industryProductType ForestryAndLogging Timber) Economy.kif 1904-1904 industryProductType ForestryAndLogging and Timber
(termFormat ChineseLanguage Timber "原木材") domainEnglishFormat.kif 58114-58114 industryProductType ForestryAndLogging and Timber
(termFormat ChineseTraditionalLanguage Timber "原木材") domainEnglishFormat.kif 58113-58113 industryProductType ForestryAndLogging and Timber
(termFormat EnglishLanguage Timber "timber") domainEnglishFormat.kif 58112-58112 industryProductType ForestryAndLogging and Timber

consequent
-------------------------


(=>
    (instance ?F Felling)
    (hasPurpose ?F
        (exists (?T ?TIMB ?S)
            (and
                (instance ?T BotanicalTree)
                (patient ?F ?T)
                (result ?F ?TIMB)
                (instance ?TIMB Timber)
                (equal ?TIMB ?S)
                (instance ?S PlantStem)
                (holdsDuring
                    (BeginFn
                        (WhenFn ?F))
                    (part ?S ?T))
                (holdsDuring
                    (EndFn
                        (WhenFn ?F))
                    (not
                        (part ?S ?T)))))))
Economy.kif 5844-5863


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