Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Attaching(attaching) |  | French_knot, Gordian_knot, Matthew_Walker, Matthew_Walker_knot, Shirodkar's_operation, Turk's_head, Windsor_knot, adhere, adherent, adhesive, adjunction, affix, affixation, affixed, agglutinate, agglutinative, anastomose, anastomosis, anastomotic, anchor, annex, append, appendant, applique, articulation, attach, attachment, backstitch, ball, band, bargello, barrel_knot, basifixed, baste, basting, basting_stitch, batten, batten_down, bead, belay, bell, belt, beplaster, berth, bight, bind, bind_off, bitt, blanket_stitch, blind_stitching... |
| appearance as argument number 1 |
|
|
| s__subclass(s__Attaching,s__DualObjectProcess)
|
Merge.kif 12633-12633 | Attaching is a subclass of dual object process |
| s__disjoint(s__Attaching,s__Detaching)
|
Merge.kif 12634-12634 | Attaching is disjoint from detaching |
| s__relatedInternalConcept(s__Attaching,s__Putting)
|
Merge.kif 12635-12635 | Attaching is internally related to putting |
| s__documentation(s__Attaching, s__EnglishLanguage, "A Process where one Object becomes attached to another Object_ Note that this differs from Putting in that two things which are attached may already be in the same location_ Note that Combining is different from Attaching in that the former applies to Substances, while the latter applies to CorpuscularObjects_ Note too that Attaching is different from Putting in that one or both of the two things which are attached may or may not be moved from the location where they were combined_") | Merge.kif 12637-12644 | Attaching is internally related to putting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__ATTACH : $i,V__OBJ1 : $i,V__OBJ2 : $i] : (((s__instance(V__ATTACH, s__Attaching) & s__patient(V__ATTACH, V__OBJ1) & s__patient(V__ATTACH, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__ATTACH)), ~(s__connected(V__OBJ1, V__OBJ2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__ATTACH)), s__connected(V__OBJ1, V__OBJ2))))) | Merge.kif 12646-12653 | If X is an instance of attaching, Y is a patient of X, and Z is a patient of X, then Y is not connected to Z holds during the beginning of the time of existence of X and Y is connected to Z holds during the end of the time of existence of X |
| ! [V__ATTACH] : ((s__instance(V__ATTACH,s__Attaching) => (? [V__OBJ] : ((s__instance(V__OBJ,s__CorpuscularObject) & s__patient(V__ATTACH,V__OBJ))))) )
|
Merge.kif 12655-12660 | If X is an instance of attaching, then there exists Y such that Y is an instance of corpuscular object and Y is a patient of X |
| ! [V__A : $i,V__O1 : $i,V__O2 : $i] : (((s__instance(V__A, s__Attaching) & s__patient(V__A, V__O1) & s__patient(V__A, V__O2) & s__holdsDuring(s__BeginFn(s__WhenFn(V__A)), ~(s__connected(V__O1, V__O2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__A)), s__connected(V__O1, V__O2))) => (s__objectAttached(V__A, V__O1) & s__objectAttached(V__A, V__O2)))) | Merge.kif 12671-12685 | If X is an instance of attaching, Y is a patient of X, Z is a patient of X, Y is not connected to Z holds during the beginning of the time of existence of X, and Y is connected to Z holds during the end of the time of existence of X, then X attaches Y to another object and X attaches Z to another object |
| ! [V__A,V__ATTACH,V__S] : (((s__instance(V__A,s__Anchor) & s__instance(V__ATTACH,s__Attaching) & s__instrument(V__ATTACH,V__A) & s__patient(V__ATTACH,V__S)) => s__instance(V__S,s__WaterVehicle)) )
|
Mid-level-ontology.kif 4888-4894 | If X is an instance of anchor, Y is an instance of attaching, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of water vehicle |
| ! [V__AT : $i,V__H : $i,V__VCS : $i] : (((s__instance(V__VCS, s__VentedChestSeal) & s__instance(V__AT, s__Attaching) & s__objectTransferred(V__AT, V__VCS) & s__destination(V__AT, V__H)) => s__hasPurpose(V__VCS, ( ? [V__A:$i, V__L:$i, V__C:$i] : ((s__instance(V__A, s__Air) & s__instance(V__L, s__Lung) & s__instance(V__C, s__Chest) & s__part(V__L, V__H) & s__part(V__C, V__H) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__AT)), s__between(V__L, V__A, V__C)) & s__hasPurpose(V__VCS, s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__AT)), s__orientation(V__A, V__H, s__Outside))))))))) | Medicine.kif 832-854 | If X is an instance of vented chest seal, Y is an instance of attaching, the object transferred in Y is X, and Y ends up at Z, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of air (3) V is an instance of lung (4) U is an instance of chest (5) V is a part of Z (6) U is a part of Z (7) W is between V (8) U holds during immediately before the time of existence of Y (9) X has the purpose W is outside of to Z holds during immediately after the time of existence of Y |
| consequent |
|
|
| ! [V__DEVICE] : ((s__instance(V__DEVICE,s__AttachingDevice) => (? [V__ATTACH] : ((s__instance(V__ATTACH,s__Attaching) & s__instrument(V__ATTACH,V__DEVICE))))) )
|
Merge.kif 16369-16374 | If X is an instance of attaching device, then there exists Y such that Y is an instance of attaching and X is an instrument for Y |
| ! [V__S : $i] : ((s__instance(V__S, s__Strap) => s__hasPurpose(V__S, ( ? [V__A:$i] : ((s__instance(V__A, s__Attaching) & s__instrument(V__A, V__S))))))) | Mid-level-ontology.kif 1742-1748 | If X is an instance of strap, then X has the purpose there exists Y such that Y is an instance of attaching and X is an instrument for Y |
| ! [V__GLUE : $i] : ((s__instance(V__GLUE, s__Glue) => s__hasPurpose(V__GLUE, ( ? [V__ATTACH:$i] : ((s__instance(V__ATTACH, s__Attaching) & s__instrument(V__ATTACH, V__GLUE))))))) | Mid-level-ontology.kif 10269-10275 | If X is an instance of glue, then X has the purpose there exists Y such that Y is an instance of attaching and X is an instrument for Y |
| ! [V__D : $i,V__H : $i,V__O : $i] : (((s__instance(V__D, s__Dressing) & s__instance(V__O, s__Oqal) & s__instance(V__H, s__Hat) & s__patient(V__D, V__O) & s__patient(V__D, V__H)) => s__hasPurpose(V__O, ( ? [V__A:$i] : ((s__instance(V__A, s__Attaching) & s__instrument(V__A, V__O))))))) | ArabicCulture.kif 419-430 | If X is an instance of dressing, Y is an instance of oqal, Z is an instance of hat, Y is a patient of X, and Z is a patient of X, then Y has the purpose there exists W such that W is an instance of attaching and Y is an instrument for W |
| ! [V__B : $i] : ((s__instance(V__B, s__Bolt) => s__hasPurpose(V__B, ( ? [V__A:$i, V__N:$i] : ((s__instance(V__A, s__Attaching) & s__instance(V__N, s__MechanicalNut) & s__instrument(V__A, V__B) & s__instrument(V__A, V__N))))))) | Cars.kif 4042-4050 | If X is an instance of bolt, then X has the purpose there exist Y, Z such that Y is an instance of attaching, Z is an instance of nut, X is an instrument for Y, and Z is an instrument for Y |
| ! [V__N : $i] : ((s__instance(V__N, s__MechanicalNut) => s__hasPurpose(V__N, ( ? [V__A:$i, V__B:$i] : ((s__instance(V__A, s__Attaching) & s__instance(V__B, s__Bolt) & s__instrument(V__A, V__B) & s__instrument(V__A, V__N))))))) | Cars.kif 4061-4069 | If X is an instance of nut, then X has the purpose there exist Y, Z such that Y is an instance of attaching, Z is an instance of bolt, Z is an instrument for Y, and X is an instrument for Y |
| ! [V__P,V__X] : (((s__instance(V__P,s__ProductAssembly) & s__eventLocated(V__P,V__X) & s__instance(V__X,s__AssemblyStation)) => (s__instance(V__P,s__Attaching) | s__instance(V__P,s__Combining))) )
|
Economy.kif 2135-2142 | If X is an instance of Product assembly, X is located at Y, and Y is an instance of assembly station, then X is an instance of attaching or X is an instance of combining |
| ! [V__T : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, s__attribute(V__T, s__Tourniquet)) => ( ? [V__P:$i, V__B:$i, V__A:$i] : ((s__instance(V__P, s__Human) & s__instance(V__B, s__Bleeding) & s__instance(V__A, s__Attaching) & s__experiencer(V__B, V__P) & s__destination(V__A, V__P) & s__objectTransferred(V__A, V__T) & s__hasPurpose(V__T, ~(( ? [V__B2:$i] : ((s__instance(V__B2, s__Bleeding) & s__overlapsTemporally(s__WhenFn(V__B2), s__ImmediateFutureFn(s__WhenFn(V__A))) & s__experiencer(V__B2, V__P))))))))))) | Medicine.kif 20-40 | If tourniquet is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of human (3) W is an instance of bleeding (4) V is an instance of attaching (5) Z experiences W (6) V ends up at Z (7) the object transferred in V is X (8) X has the purpose there doesn't exist U such that U is an instance of bleeding (9) immediately after the time of existence of V overlaps the time of existence of U (10) Z experiences U |
|