|
|
   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 | |
| (subclass Felling Harvesting) | Economy.kif 5469-5469 |
| 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 |
| antecedent |
|
|
| (=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5485-5493 | |
| (=> (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 5502-5521 | |
| (=> (instance ?FELL Felling) (exists (?C ?F ?T ?S) (and (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 |
|
|
|