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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Felling

appearance as argument number 1

(documentation Felling EnglishLanguage "The intentional Felling is the Cutting down of a BotanicalTree.") Economy.kif 5470-5470
(subclass Felling Cutting) Economy.kif 5468-5468 Felling is a subclass of cutting
(subclass Felling Harvesting) Economy.kif 5469-5469 Felling is a subclass of harvesting

appearance as argument number 2

(termFormat ChineseLanguage Felling "砍伐") domainEnglishFormat.kif 23488-23488
(termFormat ChineseTraditionalLanguage Felling "砍伐") domainEnglishFormat.kif 23487-23487
(termFormat EnglishLanguage Felling "felling") domainEnglishFormat.kif 23486-23486


        (instance ?F Felling)
        (result ?F ?S))
    (exists (?STEM)
            (instance ?S
                (DeadFn ?STEM))
            (subclass ?STEM PlantStem))))
Economy.kif 5485-5493
    (instance ?F Felling)
    (hasPurpose ?F
        (exists (?T ?TIMB ?S)
                (instance ?T BotanicalTree)
                (patient ?F ?T)
                (result ?F ?TIMB)
                (instance ?TIMB Timber)
                (equal ?TIMB ?S)
                (instance ?S PlantStem)
                        (WhenFn ?F))
                    (part ?S ?T))
                        (WhenFn ?F))
                        (part ?S ?T)))))))
Economy.kif 5502-5521
    (instance ?FELL Felling)
    (exists (?C ?F ?T ?S)
            (instance ?C Cutting)
            (patient ?C ?T)
            (instance ?T BotanicalTree)
            (result ?C ?F)
            (instance ?F Falling)
            (patient ?F ?S)
            (instance ?S PlantStem)
            (part ?S ?T))))
Economy.kif 5472-5483

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