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 |
|
|
| (subclass Detaching DualObjectProcess) | Merge.kif 12687-12687 | Detaching is a subclass of dual object process |
| (documentation Detaching 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 |
|
|
| (disjoint Attaching Detaching) | Merge.kif 12634-12634 | Attaching is disjoint from detaching |
| (subclass Ungrasping Detaching) | Merge.kif 12732-12732 | Ungrasping is a subclass of detaching |
| (subclass Untying Detaching) | Mid-level-ontology.kif 6722-6722 | Untying is a subclass of detaching |
| (termFormat EnglishLanguage Detaching "detaching") | english_format.kif 1553-1553 | Untying is a subclass of detaching |
| appearance as argument number 3 |
|
|
| (domain objectDetached 1 Detaching) | Merge.kif 12714-12714 | The number 1 argument of detached is an instance of detaching |
| antecedent |
|
|
| (=> (and (instance ?DETACH Detaching) (patient ?DETACH ?OBJ1) (patient ?DETACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?DETACH)) (connected ?OBJ1 ?OBJ2)) (holdsDuring (EndFn (WhenFn ?DETACH)) (not (connected ?OBJ1 ?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 |
| (=> (instance ?DETACH Detaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?DETACH ?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 |
| (=> (and (instance ?D Detaching) (patient ?D ?O1) (patient ?D ?O2) (holdsDuring (BeginFn (WhenFn ?D)) (connected ?O1 ?O2)) (holdsDuring (EndFn (WhenFn ?A)) (not (connected ?O1 ?O2)))) (and (objectDetached ?A ?O1) (objectDetached ?A ?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 |
|