Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Detaching(detaching) |  | ajar, atrip, aweigh, beheaded, blow_off, breakup, broken, come_away, come_off, cut_off, decapitated, decouple, detach, detached, detachment, detribalisation, detribalization, disconnect, disengage, disengagement, disentangle, disentangled, disjointed, dislocated, disunion, fall_off, frontal_lobotomy, ladder, leucotomy, leukotomy, lobotomy, loosened, open, outspan, prefrontal_leucotomy, prefrontal_leukotomy, prefrontal_lobotomy, ravel, ravel_out, run, separated, separation, severed, sympathectomy, transorbital_lobotomy, twist, unbelt, unbend, unbind, unbolt... |
| appearance as argument number 1 |
|
|
| s__subclass(s__Detaching,s__DualObjectProcess)
|
Merge.kif 12687-12687 | Detaching is a subclass of dual object process |
| s__documentation(s__Detaching, s__EnglishLanguage, "A Process where the agent detaches one thing from something else_ Note that Detaching is different from Separating in that the latter applies to Substances, while the former applies to CorpuscularObjects_ Note too that Detaching is different from Removing in that one or both of the two things which are detached may or may not be moved from the location where they were attached_") | Merge.kif 12689-12694 | Detaching is a subclass of dual object process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__objectDetached,n__1,s__Detaching)
|
Merge.kif 12714-12714 | The number 1 argument of detached is an instance of detaching |
| antecedent |
|
|
| ! [V__DETACH : $i,V__OBJ1 : $i,V__OBJ2 : $i] : (((s__instance(V__DETACH, s__Detaching) & s__patient(V__DETACH, V__OBJ1) & s__patient(V__DETACH, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__DETACH)), s__connected(V__OBJ1, V__OBJ2)) & s__holdsDuring(s__EndFn(s__WhenFn(V__DETACH)), ~(s__connected(V__OBJ1, V__OBJ2)))))) | Merge.kif 12696-12703 | If X is an instance of detaching, Y is a patient of X, and Z is a patient of X, then 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 X |
| ! [V__DETACH] : ((s__instance(V__DETACH,s__Detaching) => (? [V__OBJ] : ((s__instance(V__OBJ,s__CorpuscularObject) & s__patient(V__DETACH,V__OBJ))))) )
|
Merge.kif 12705-12710 | If X is an instance of detaching, then there exists Y such that Y is an instance of corpuscular object and Y is a patient of X |
| ! [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 |
|