Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| objectDetached |
| appearance as argument number 1 |
|
| s__instance(s__objectDetached,s__CaseRole)
|
Merge.kif 12712-12712 | detached is an instance of case role |
| s__subrelation(s__objectDetached,s__patient)
|
Merge.kif 12713-12713 | detached is a subrelation of patient |
| s__domain(s__objectDetached,n__1,s__Detaching)
|
Merge.kif 12714-12714 | The number 1 argument of detached is an instance of detaching |
| s__domain(s__objectDetached,n__2,s__Object)
|
Merge.kif 12715-12715 | The number 2 argument of detached is an instance of object |
| s__documentation(s__objectDetached, s__EnglishLanguage, "Relates an object that is detached to the Process of Detaching_") | Merge.kif 12716-12717 | The number 2 argument of detached is an instance of object |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__objectDetached, "detached") | Merge.kif 12718-12718 | |
| s__format(s__EnglishLanguage, s__objectDetached, "%1 detaches %2 from another object") | Merge.kif 12719-12719 |
| consequent |
|
|
| ! [V__A : $i,V__D : $i,V__O1 : $i,V__O2 : $i] : (((s__instance(V__D, s__Detaching) & s__patient(V__D, V__O1) & s__patient(V__D, V__O2) & s__holdsDuring(s__BeginFn(s__WhenFn(V__D)), s__connected(V__O1, V__O2)) & s__holdsDuring(s__EndFn(s__WhenFn(V__A)), ~(s__connected(V__O1, V__O2)))) => (s__objectDetached(V__A, V__O1) & s__objectDetached(V__A, V__O2)))) | Merge.kif 12721-12730 | If X is an instance of detaching, Y is a patient of X, Z is a patient of X, Y is connected to Z holds during the beginning of the time of existence of X, and Y is not connected to Z holds during the end of the time of existence of W, then W detaches Y from another object and W detaches Z from another object |
|