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 5711-5712
(externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg") pictureList.kif 9477-9477
(relatedInternalConcept Timber BotanicalTree) Economy.kif 5714-5714
(relatedInternalConcept Timber Lumber) Economy.kif 5715-5715
(relatedInternalConcept Timber OrganicObject) Economy.kif 5713-5713
(roomTempState Timber Solid) Mid-level-ontology.kif 32616-32616
(subclass Timber WoodProduct) Economy.kif 5710-5710

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


(industryProductType ForestryAndLogging Timber) Economy.kif 1779-1779
(termFormat ChineseLanguage Timber "原木材") domainEnglishFormat.kif 58143-58143
(termFormat ChineseTraditionalLanguage Timber "原木材") domainEnglishFormat.kif 58142-58142
(termFormat EnglishLanguage Timber "timber") domainEnglishFormat.kif 58141-58141

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 5717-5736


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