Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Releasing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Releasing Transfer) | Merge.kif 11794-11794 | Releasing is a subclass of transfer |
| (documentation Releasing EnglishLanguage "Any instance of Transfer which results in a situation where it is not the case that the agent grasps something which he/ she grasps previously.") | Merge.kif 11796-11798 | Releasing is a subclass of transfer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?RELEASE Releasing) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?RELEASE)) (grasps ?AGENT ?THING)) (holdsDuring (EndFn (WhenFn ?RELEASE)) (not (grasps ?AGENT ?THING))))) |
Merge.kif 11800-11807 | If X is an instance of releasing, Y is an agent of Z, and W is a patient of Z, then Y grasps W holds during the beginning of the time of existence of X and Y doesn't grasp W holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (and (instance ?G Substance) (attribute ?G OxidizingSubstance)) (exists (?R) (and (instance ?R Releasing) (patient ?R Oxygen) (capability Releasing origin ?G) (modalAttribute (exists (?C) (and (instance ?C Combustion) (causes ?R ?C))) Possibility)))) |
Transportation.kif 4720-4733 | If X is an instance of substance and oxidizing substance is an attribute of X, then there exists Y such that Y is an instance of releasing, oxygen is a patient of Y, X is capable of doing releasing as a origin, the statement there exists Z such that Z is an instance of burning, and Y causes Z has the modal force of possibility |
|