| appearance as argument number 1 |
|
| (documentation Felling EnglishLanguage "The intentional Felling is the Cutting down of a BotanicalTree.") | Economy.kif 5812-5812 | |
| (subclass Felling Cutting) | Economy.kif 5810-5810 | |
| (subclass Felling Harvesting) | Economy.kif 5811-5811 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Felling "砍伐") | domainEnglishFormat.kif 23491-23491 | |
| (termFormat ChineseTraditionalLanguage Felling "砍伐") | domainEnglishFormat.kif 23490-23490 | |
| (termFormat EnglishLanguage Felling "felling") | domainEnglishFormat.kif 23489-23489 |
| antecedent |
|
|
| (=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5827-5835 | |
| (=> (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 | |
| (=> (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 5814-5825 |
|
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