Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Felling(felling) |
| appearance as argument number 1 |
|
| (subclass Felling Cutting) | Economy.kif 5818-5818 | Felling is a subclass of cutting |
| (subclass Felling Harvesting) | Economy.kif 5819-5819 | Felling is a subclass of harvesting |
| (documentation Felling EnglishLanguage "The intentional Felling is the Cutting down of a BotanicalTree.") | Economy.kif 5820-5820 | Felling is a subclass of harvesting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 5822-5833 | If X is an instance of felling, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of cutting (3) W is a patient of Y (4) W is an instance of botanical tree (5) Z is a result of Y (6) Z is an instance of falling (7) V is a patient of Z (8) V is an instance of plant stem (9) V is a part of W |
| (=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5835-5843 | If X is an instance of felling and Y is a result of X, then there exists Z such that Y is an instance of a dead Z and Z is a subclass of plant stem |
| (=> (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 5853-5872 | If X is an instance of felling, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of botanical tree (3) Y is a patient of X (4) Z is a result of X (5) Z is an instance of timber (6) equal Z (7) W (8) W is an instance of plant stem (9) W is a part of Y holds during the beginning of the time of existence of X (10) W is not a part of Y holds during the end of the time of existence of X |
|